-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2020-e9531c1353 2020-05-23 02:42:41.414101 --------------------------------------------------------------------------------
Name : stp Product : Fedora 32 Version : 2.3.3 Release : 6.fc32 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: http://people.csail.mit.edu/vganesh/STP_files/stp.html -------------------------------------------------------------------------------- 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> - 2.3.3-6 - Rebuild for cryptominisat 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