Espresso heuristic logic minimizer

Identifier:	espresso
Maintained by:	Michal Kvasnica
Homepage:	http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm
Support e-mail:	None
License:	none

Available versions:

Repository	Version ID	Created on
Stable	1.0	2013-07-15 21:24:47