Disjunctive Normal Form boolean expression C++ library
