Projects / BoolStuff


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

Recent releases

  •  01 Mar 2014 18:06

    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).

    •  05 Mar 2013 03:07

      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).

      •  14 Feb 2010 19:56

        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.

        •  14 Oct 2008 05:12

          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.

          •  30 Apr 2007 13:28

            Release Notes: This is a maintenance release. Example programs are not installed anymore and do not end up in the RPM packages.


            Project Spotlight


            A Fluent OpenStack client API for Java.


            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.