[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Fedora 11 Update: espresso-ab-1.0-1.fc11



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2009-8637
2009-08-15 21:22:32
--------------------------------------------------------------------------------

Name        : espresso-ab
Product     : Fedora 11
Version     : 1.0
Release     : 1.fc11
URL         : http://code.google.com/p/eqntott
Summary     : A boolean minimization tool
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.

--------------------------------------------------------------------------------
Update Information:

Short Description: A boolean minimization tool
--------------------------------------------------------------------------------
ChangeLog:

--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #516849 - Review Request: espresso-ab - A boolean minimization tool
        https://bugzilla.redhat.com/show_bug.cgi?id=516849
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update espresso-ab' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
http://fedoraproject.org/keys
--------------------------------------------------------------------------------


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]