A modern (2017) compiliable re-host of the Espresso heuristic logic minimizer.
The original source code comes from the University of California, Berkeley.
$ cd espresso-src
$ make
The espresso executable will be located in the bin directory. Manual pages are available in the man directory. Copy these files to your desired location.
This package is available on the Arch User Repository.
If you would like to package it for your preferred distribution, you can submit a PR to have it listed here.
This is published under the MIT License.
