boolstuff: boolstuff (boolean expression tree toolkit)
boolstuff:
boolstuff: BoolStuff is a small C++ library that supports a few operations on
boolstuff: boolean expression binary trees. The main features are:
boolstuff: - a boolean expression parser (supports operators AND, OR
boolstuff: and NOT, as well as parentheses);
boolstuff: - an algorithm to convert a boolean expression binary tree
boolstuff: into its Disjunctive Normal Form;
boolstuff: - a function that determines if an expression tree is in DNF.
boolstuff: A command named `booldnf' that calls this library is also provided.
boolstuff: