Fedora 23 Update: cryptominisat4-4.5.3-2.fc23

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-14613
2015-09-04 19:45:14.260703
--------------------------------------------------------------------------------

Name        : cryptominisat4
Product     : Fedora 23
Version     : 4.5.3
Release     : 2.fc23
URL         : http://www.msoos.org/cryptominisat4/
Summary     : SAT solver
Description :
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver. Highlights:
- Instance simplification at every point of the search (inprocessing)
- Over 100 configurable parameters to tune to specific needs
- Collection of statistical data to MySQL database + javascript-based
  visualization of it
- Clean C++ and python interfaces

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

This new package is a modern, multi-threaded, feature-rich, simplifying SAT
solver. Highlights:  - Instance simplification at every point of the search
(inprocessing) - Over 100 configurable parameters to tune to specific needs -
Collection of statistical data to MySQL database + javascript-based
visualization of it - Clean C++ and python interfaces
--------------------------------------------------------------------------------

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