mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-16 19:50:19 +01:00
8 lines
443 B
Text
8 lines
443 B
Text
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.
|