BoolStuff 0.1.17

A C++ library that supports a few operations on boolean expression binary trees. The main features are a simple boolean expression parser, an algorithm to convert a boolean expression tree into its Disjunctive Normal Form, and a function that determines if an expression tree is in DNF. A commmand-line tool can also be used to convert to DNF.

Tags mathematics c c
License GNU GPL
State stable

Recent Releases

0.1.1707 Oct 2021 02:39 cleanup: The C++ exception specifications have been removed from function declarations. The fallthrough attribute is now used in switch statements when available.
0.1.1625 May 2016 03:21 minor feature: Use of the deprecated type auto_ptr has been replaced with a home-made workalike. This version is known to compile with GCC 4.9.2, 5.3.0 and 6.1.0. A C example program has been added.
07 Dec 2014 17:24 minor feature: This version fixes a bug with some expressions whose raw DNF can contain terms of the form a a. It also fixes a bug with the negation of a DNF composed only of useless terms, like (a !a a !a).