- libboolstuff-0.1-0
- libc6 (>= 2.17)
- libgcc1 (>= 1:3.0)
- libstdc++6 (>= 5.2)
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).
Installed Size: 62.5 kB
Architectures: amd64 arm64