-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2009-8653 2009-08-15 21:23:01 --------------------------------------------------------------------------------
Name : espresso-ab Product : Fedora 10 Version : 1.0 Release : 1.fc10 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 -------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------- _______________________________________________ Fedora-package-announce mailing list [email protected] http://www.redhat.com/mailman/listinfo/fedora-package-announce
