BoolStuff - Disjunctive Normal Form boolean expression C++ library.