Kennt jemand "Espresso"???

[sonnenpapst]

Hallo,

mein Prof. meinte, dass es sich bei Espresso um ein Programm zur Minimierung logischer Terme handelt, das an der Berkeley-University entwickelt wurde. Es soll sich dabei um OSS handeln, nur konnte ich Espresso nirgends in den Ports finden - Google brachte meist was mit Kaffee :-)

Es wär sehr schön, wenn mal jemand nen Link posten könnte.

Bis dahin...

Björn

 

[[moR-pH-euS]]

schau dir das mal an:
http://www-cad.eecs.berkeley.edu/Software/software.html
wird aber laut readme nicht mehr weiterentwickelt...

 

[moonlook]

Scheint wirklich tot zu sein, also Fragen an die comp.lsi.cad richten

 

[sonnenpapst]

...muss ja auch nicht weiterentwickelt werden, wenn's schon perfekt ist! Vielen Dank für's finden...