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:
Download binary tarball
The source code is available in both tarball and zip:
Download source (.tar.gz) Download source (.zip)

Before compiling it, make sure that you have the correct dependencies:

sudo apt install -y make build-essential

This project does not use GNU Autotools, so you can compile directly with:

make

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