diff options
Diffstat (limited to 'libraries/boolstuff/README')
| -rw-r--r-- | libraries/boolstuff/README | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/libraries/boolstuff/README b/libraries/boolstuff/README new file mode 100644 index 0000000000..df93a7cb79 --- /dev/null +++ b/libraries/boolstuff/README @@ -0,0 +1,8 @@ +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. |