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.
| Tags | Scientific/Engineering Mathematics |
|---|---|
| Licenses | GPL |
| Operating Systems | POSIX Linux |
| Implementation | C C++ |
Recent releases
- 14 Oct 2008 05:12
Changes: 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 06:28
Changes: This is a maintenance release. Example programs are not installed anymore and do not end up in the RPM packages.
- 04 Feb 2006 23:45
Changes: The DNF algorithm now detects cases where the resulting expression tree would be too large. The maximum number of tree nodes is set to 10000. The booldnf command now returns EXIT_FAILURE if one of the requested conversions fail.
- 08 May 2005 22:15
Changes: A bug concerning expressions like !(!(a & m)) was fixed. Quoted variable names are no longer supported to avoid a dependency between the BoolExpr class template and the std::string type.
- 18 Mar 2003 14:34
Changes: There is a new 'booldnf' command and an example Perl script that shows how to call it from a bidirectional pipe.
