Sophie

Sophie

distrib > Fedora > 14 > i386 > by-pkgid > 85f6d386abedec9f6bea61dfdc61cd07

espresso-ab-1.0-1.fc12.i686.rpm

Description:

Espresso takes as input a two-level representation of a two-valued
(or multiple-valued) Boolean function, and produces a minimal equivalent
representation. It is a boolean logic minimization tool.

Sources packages:

Other version of this rpm: