Fedora 24 Update: cryptominisat-2.9.11-1.fc24

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-5d8885f434
2016-04-09 15:25:20.296621
--------------------------------------------------------------------------------

Name        : cryptominisat
Product     : Fedora 24
Version     : 2.9.11
Release     : 1.fc24
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-2.9.11-1.fc24:  - This maintenance release is to fix a bug in the
Gaussian Elimination code that could trigger in some situations.  gmp-
ecm-7.0-1.fc24:  - GMP-ECM is now thread-safe. In particular the "ecmfactor"
binary can be called with say -t 17 to use 17 threads. - Added GPU code for Step
1 (command-line option -gpu). - Command-line option -param allows to choose the
parametrization (valid values are 0, 1, 2, 3). Command-line option -sigma allows
to choose the parameter. "-sigma i:s" is a shortcut to "-param i -sigma s". Use
-param 0 to get historical Suyama parametrization. - The batch mode is now
chosen with -param command-line option. The default parametrization depends on
other command-line options. - For P-1 stage 2, by default the NTT code is always
used. - Speedup in stage 2 with -no-ntt - New primality proving code with APRCL
(contributed by David Cleaver) with --enable-aprcl (default=yes) - Removed some
options that were unused or not tested (-n, -nn, -ve, -cofdec, -B2scale). - The
configure --enable-shellcmd option was removed, and also the --enable-memory-
debug configure option (now obsolete with valgrind). - The -b options was
removed (breadth-first mode) - Improved source coverage (92.7% of source code
lines)  minisat2-2.2.1-1.fc24:  - Use Debian sources (minor fixes and cleanups
over previous upstream).  ntl-9.7.0-1.fc24:  - See http://shoup.net/ntl/doc
/tour-changes.html for changes in this release.  sympy-1.0-1.fc24:  - See
https://github.com/sympy/sympy/wiki/Release-Notes-for-1.0 for changes in this
release.  cbmc-5.4-1.fc24:  - See
https://groups.google.com/forum/#!topic/cprover/X-OkBlbI2-M for changes in this
release.  All other packages are rebuilds due to the updated packages above.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #1316322 - sympy-1.0 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=1316322
--------------------------------------------------------------------------------

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 https://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
--------------------------------------------------------------------------------