boolstuff 0.1.12-3 (armhf binary) in ubuntu precise

 BoolStuff is a C++ library that supports a few operations on boolean
 expression binary trees.
 .
 This package includes extra programs that allow the usage of the library
 from the shell. A command named booldnf can be used to convert an
 expression to the Disjunctive Normal Form (DNF).