BoolStuff ist eine kleine C++-Bibliothek, die die disjunktive Normalform eines Binärbaums Boolescher Ausdrücke berechnet. Sie besitzt auch eine Programmierschnittstelle für C. (non)