Fedora 18 Update: picosat-951-1.fc18

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-12337
2012-08-21 04:51:55
--------------------------------------------------------------------------------

Name        : picosat
Product     : Fedora 18
Version     : 951
Release     : 1.fc18
URL         : http://fmv.jku.at/picosat/
Summary     : A SAT solver
Description :
PicoSAT solves the SAT problem, which is the classical NP complete
problem of searching for a satisfying assignment of a propositional
formula in conjunctive normal form (CNF).  PicoSAT can generate proofs
and cores in memory by compressing the proof trace.  It supports the
proof format of TraceCheck.

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

This new version of picosat contains cleaned up code, a few bug fixes, and 2 new binaries.  The new csisat and undertaker builds are just to adapt to the new version of picosat; there should be no functional differences.
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update picosat' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------