boolstuff - 0.1.16-2+b2 main

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