Fedora 21 Update: picosat-960-1.fc21

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-13602
2014-10-27 07:53:02
--------------------------------------------------------------------------------

Name        : picosat
Product     : Fedora 21
Version     : 960
Release     : 1.fc21
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 undertaker update skips four versions (1.2 to 1.6), reflecting the time it took to get new dependencies into Fedora.  Numerous improvements and bug fixes have been made in that time, reflected in the git logs available at https://vamos.informatik.uni-erlangen.de/gerrit/gitweb?p=undertaker.git;a=summary.

See http://fmv.jku.at/picosat/NEWS for the changes in picosat version 960.

This version of csisat is simply a rebuild against the new picosat build.
--------------------------------------------------------------------------------

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
--------------------------------------------------------------------------------