Espresso is a two-level (PLA) logic minimizer developed at the University
of California, Berkeley, in the 1990's.
It is available on the web at the following links:
- Download a Linux version of
espresso for Linux RedHat end Fedora.
Manual pages for espresso:
Stand alone Windows version
Espresso package extracted from SIS VC++ 6.0 static library
UCB Software Library, a great source of misc. academic software.