summaryrefslogtreecommitdiff
path: root/libraries/boolstuff/README
blob: ab4313d54f86981d4480614d75c0d28e1c14e802 (plain)
1
2
3
4
5
6
7
8
9
BoolStuff is a small C++ library that supports a few operations on
boolean expression binary trees. The main features are:
 - a boolean expression parser (supports operators AND, OR
   and NOT, as well as parentheses);
 - an algorithm to convert a boolean expression binary tree
   into its Disjunctive Normal Form;
 - a function that determines if an expression tree is in DNF.

A command named `booldnf' that calls this library is also provided.