-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2020-e9531c1353 2020-05-23 02:42:41.414101 --------------------------------------------------------------------------------
Name : cvc4 Product : Fedora 32 Version : 1.7 Release : 9.fc32 URL : http://cvc4.cs.stanford.edu/ Summary : Automatic theorem prover for SMT problems Description : CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. CVC4 is the fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. A joint project of NYU and U Iowa, CVC4 aims to support the features of CVC3 and SMT-LIBv2 while optimizing the design of the core system architecture and decision procedures to take advantage of recent engineering and algorithmic advances. CVC4 is intended to be an open and extensible SMT engine, and it can be used as a stand-alone tool or as a library, with essentially no limit on its use for research or commercial purposes. -------------------------------------------------------------------------------- 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: * Sat Apr 25 2020 Jerry James <loganje...@gmail.com> - 1.7-9 - Rebuild for cryptominisat 5.7.0 - Add -cryptominisat patch to adapt to changes in 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