Binary package “boolstuff” in ubuntu mantic
programs for operating on boolean expression binary trees
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).