Adjust default configurations.
Switch from std::bitset to boost::dynamic_bitset.