libraries/boolstuff: Fix slack-desc.
This commit is contained in:
parent
a8db168068
commit
b97c62360e
|
@ -7,13 +7,13 @@
|
|||
|
||||
|-----handy-ruler------------------------------------------------------|
|
||||
boolstuff: boolstuff (boolean expression tree toolkit)
|
||||
boolstuff:
|
||||
boolstuff:
|
||||
boolstuff: BoolStuff is a small C++ library that supports a few operations on
|
||||
boolstuff: boolean expression binary trees. The main features are:
|
||||
boolstuff: boolean expression binary trees. The main features are:
|
||||
boolstuff: - a boolean expression parser (supports operators AND, OR
|
||||
boolstuff: and NOT, as well as parentheses);
|
||||
boolstuff: and NOT, as well as parentheses);
|
||||
boolstuff: - an algorithm to convert a boolean expression binary tree
|
||||
boolstuff: into its Disjunctive Normal Form;
|
||||
boolstuff: into its Disjunctive Normal Form;
|
||||
boolstuff: - a function that determines if an expression tree is in DNF.
|
||||
boolstuff: A command named `booldnf' that calls this library is also provided.
|
||||
boolstuff:
|
||||
boolstuff:
|
||||
|
|
Loading…
Reference in New Issue