-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2020-e9531c1353 2020-05-23 02:42:41.414101 --------------------------------------------------------------------------------
Name : cryptominisat Product : Fedora 32 Version : 5.7.1 Release : 1.fc32 URL : http://www.msoos.org/ 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: Changes in cryptominisat 5.7.0: - Improved parameters - Hybrid branching strategies - and much more Changes in cryptominisat 5.7.1: - Removed LSIDS, as it was interfering with performance. Changes in sagemath: - Fixed an incompatibility with python 3.8 in the bundled ipython - Install missing threejs_template.html and other missing files - Require libgap-devel at runtime to fix GAP library loading All other packages are simple rebuilds due to the cryptominisat update. -------------------------------------------------------------------------------- ChangeLog: * Thu May 7 2020 Jerry James <loganje...@gmail.com> - 5.7.1-1 - Version 5.7.1 * Sat Apr 25 2020 Jerry James <loganje...@gmail.com> - 5.7.0-1 - Version 5.7.0 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1832673 - Sagemath won't calculate some simple mathematical expressions. https://bugzilla.redhat.com/show_bug.cgi?id=1832673 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2020-e9531c1353' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label 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 -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list -- package-announce@lists.fedoraproject.org To unsubscribe send an email to package-announce-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-announce@lists.fedoraproject.org
