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