Fedora 20 Update: cryptominisat-2.9.9-1.fc20

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------

Name        : cryptominisat
Product     : Fedora 20
Version     : 2.9.9
Release     : 1.fc20
URL         : http://www.msoos.org/cryptominisat2/
Summary     : SAT solver
Description :
CryptoMiniSat is a SAT solver that aims to become a premiere SAT solver
with all the features and speed of successful SAT solvers, such as
MiniSat and PrecoSat.  The long-term goals of CryptoMiniSat are to be an
efficient sequential, parallel and distributed solver.  There are
solvers that are good at one or the other, e.g. ManySat (parallel) or
PSolver (distributed), but we wish to excel at all.

CryptoMiniSat 2.5 won the SAT Race 2010 among 20 solvers submitted by
researchers and industry.

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

Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.

Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS

Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html

Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate

Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES

Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements

Macaulay2 was updated to use the interface for normaliz 2.8 and later.

Singular is now built with flint and polymake support.

Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:

* Tue Mar 18 2014 Jerry James <loganjerry at gmail.com> - 2.9.9-1
- New upstream release
--------------------------------------------------------------------------------

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