espresso-logic
espresso-logic copied to clipboard
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
trafficstars
espresso-logic-minimizer
A modern (2017) compiliable re-host of the Espresso heuristic logic minimizer.
The original source code comes from the University of California, Berkeley.
Install
$ 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.
Package Availability
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.
License
This is published under the MIT License.