• This repository has been archived on 05/Sep/2021
  • Stars
    star
    118
  • Rank 293,916 (Top 6 %)
  • Language
    C
  • License
    MIT License
  • Created almost 7 years ago
  • Updated about 4 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

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.