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