Fedora 24 Update: stp-2.1.2-2.20151122git.3785148.fc24

updates at fedoraproject.org updates at fedoraproject.org
Sat Apr 9 15:42:05 UTC 2016

Fedora Update Notification
2016-04-09 15:25:20.296621

Name        : stp
Product     : Fedora 24
Version     : 2.1.2
Release     : 2.20151122git.3785148.fc24
URL         : http://stp.github.io/
Summary     : Constraint solver/decision procedure
Description :
STP (Simple Theorem Prover) is a constraint solver (also referred to as
a decision procedure or automated prover) aimed at solving constraints
generated by program analysis tools, theorem provers, automated bug
finders, intelligent fuzzers and model checkers.  STP has been used in
many research projects at Stanford, Berkeley, MIT, CMU and other
universities, as well as companies and government agencies.

The input to STP are formulas over the theory of bit-vectors and arrays
(this theory captures most expressions from languages like C/C++/Java
and Verilog), and the output of STP is a single bit of information that
indicates whether the formula is satisfiable or not.  If the input is
satisfiable, then it also generates a variable assignment to satisfy the
input formula.

Additional information can be found at:

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.

  [ 1 ] Bug #1316322 - sympy-1.0 is available

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

More information about the package-announce mailing list