diff options
| author | Yanes Checcacci Balod <yanes@pobox.com> | 2014-02-03 11:52:58 +0100 |
|---|---|---|
| committer | Erik Hanson <erik@slackbuilds.org> | 2014-02-08 11:10:26 -0600 |
| commit | e1c0f254a948dc1847dd34be1d62dc5f8a192692 (patch) | |
| tree | a405ef6866892f85e9fecac975e4bc37435eab6b /libraries/boolstuff/README | |
| parent | a55d03d14ca2d45bd2b5e1ef03ee15c9235619dc (diff) | |
libraries/boolstuff: Added (boolean expression tree toolkit).
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
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 0000000000000..df93a7cb79f4a --- /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. |