BoolStuff is a small C++ library that computes the Disjunctive Normal Form of a boolean expression binary tree. The library also has a C programming interface.
|Operating Systems||POSIX Linux|
Release Notes: This version fixes a bug with some expressions whose raw DNF can contain terms of the form a&a. It fixes a bug with the negation of a DNF composed only of useless terms, like (a&!a|a&!a).
Release Notes: This version 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).
Release Notes: The terms of the resulting DNF are now sorted so that duplicate terms can be eliminated. Compilation errors under g++ 4.4 have been fixed.
Release Notes: 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.
Release Notes: This is a maintenance release. Example programs are not installed anymore and do not end up in the RPM packages.