Espresso
Espresso is a program for boolean minimization. It takes as input a two-level representation of a two-valued (or multiple-valued) Boolean function, and produces a minimal equivalent representation. Espresso features a rich collection of commands to manipulate Boolean functions (see the user manual for their usage and description).
Downloads
Available packages:
The source code is available in both tarball and zip:
Before compiling it, make sure that you have the correct dependencies:
sudo apt install -y make build-essentialThis project does not use GNU Autotools, so you can compile directly with:
makeA bin directory will be created containing the binary.
Documentation
The user manual of Espresso is available here and the input file formats are described here. The manual of eqntott (to generate truth tables from Boolean equations) is available here. Some examples of files compliant with the espresso input format are found here.