Fedora 19 Update: minisat2-2.2.0-6.fc19

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-12164
2013-07-02 23:30:59
--------------------------------------------------------------------------------

Name        : minisat2
Product     : Fedora 19
Version     : 2.2.0
Release     : 6.fc19
URL         : http://minisat.se/
Summary     : Minimalistic SAT solver
Description :
MiniSat is a minimalistic, open-source Boolean satisfiability problem
(SAT) solver, developed to help researchers and developers alike to get
started on SAT.  Together with SatELite, MiniSat was recently awarded in
the three industrial categories and one of the "crafted" categories of
the SAT 2005 competition.

A SAT solver can determine if it is possible to find assignments to
boolean variables that would make a given expression true, if the
expression is written with only AND, OR, NOT, parentheses, and boolean
variables.  If the expression is satisfiable, MiniSAT can also produce a
set of assignments that make the expression true.  Although the problem
is NP-complete, SAT solvers (like this one) are often able to decide
this problem in a reasonable time frame.

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

This update fixes a race condition in the build process that caused the build to fail on some platforms, notably aarch64.  For platforms where the previous build succeeded, this update contains no changes.
--------------------------------------------------------------------------------
ChangeLog:

* Mon Jul  1 2013 Jerry James <loganjerry at gmail.com> - 2.2.0-6
- Fix a race between %check and assembling the files to package
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update minisat2' 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
--------------------------------------------------------------------------------