BoolStuff

BoolStuff is a C library that can support a few operations on boolean expression binary trees.

A command named booldnf that calls this library to convert an expression to the DNF is also provided.

Features:

• a simple 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 (this algorithm supports the NOT operator);
• a function that determines if an expression tree is in DNF.

What is new in this release:

• This release fixes a bug where some expressions containing large negations would fail an assert statement instead of returning the expected null expression.
• It also fixes a bug where some duplicate terms would not be detected because their factors needed to be sorted and simplified themselves to allow that detection.
• In addition, g++ 4.7.2 compilation errors were fixed (re: swap() function).

What is new in version 0.1.12:

• Memory leaks have been fixed.
• A bug with the expression a&!a has been fixed.
• The source code now compiles as is with g++ 4.3.0.