Fedora 17 Update: minisat2-2.2.0-5.fc17

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-3203
2013-03-02 19:14:58
--------------------------------------------------------------------------------

Name        : minisat2
Product     : Fedora 17
Version     : 2.2.0
Release     : 5.fc17
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 exposes the functionality of minisat as a library, for use by other applications.  For those not building their own minisat-using applications, this update should function identically to the previous version.
--------------------------------------------------------------------------------
ChangeLog:

* Fri Mar  1 2013 Jerry James <loganjerry at gmail.com> - 2.2.0-5
- Add a man page, courtesy of the Debian maintainers
- Build a shared library, and add -devel and -libs packages (bz 912190)
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.2.0-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Fri Jul 20 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.2.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #912190 - minisat2 to ship header files
        https://bugzilla.redhat.com/show_bug.cgi?id=912190
--------------------------------------------------------------------------------

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