Fedora 24 Update: minisat2-2.2.1-1.fc24

[updates at fedoraproject.org]

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

Name        : minisat2
Product     : Fedora 24
Version     : 2.2.1
Release     : 1.fc24
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:

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