This repository was archived by the owner on Sep 5, 2021. It is now read-only.
- Notifications
You must be signed in to change notification settings - Fork39
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
License
NotificationsYou must be signed in to change notification settings
classabbyamp/espresso-logic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
A modern (2017) compiliable re-host of theEspresso heuristic logic minimizer.
The original source code comes from theUniversity of California, Berkeley.
$ cd espresso-src$ makeThe espresso executable will be located in thebin directory. Manual pages are available in theman directory. Copy these files to your desired location.
This package isavailable 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 theMIT License.
About
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
Resources
License
Stars
Watchers
Forks
Packages0
No packages published