-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-e57e9d2b81 2025-05-10 01:16:54.200117+00:00 --------------------------------------------------------------------------------
Name : cryptominisat Product : Fedora 42 Version : 5.13.0 Release : 1.fc42 URL : https://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 breakid 3.1.3: Allow setting the prefix Fix a getrusage call that caused panics Fix SHA1 printing Fix the build for several architectures See https://github.com/arminbiere/cadical/blob/master/NEWS.md for changes in cadical from version 2.0.0 (exclusive) to 2.1.3 (inclusive). The cryptominisat 5.13.0 release contains numerous bug fixes. The cvc5 and yices builds are simple rebuilds due to the above changes. -------------------------------------------------------------------------------- ChangeLog: * Thu May 1 2025 Jerry James <[email protected]> - 5.13.0-1 - Version 5.13.0 - Add patch to adapt to breakid 3.1.3 - Add patch to fix -fPIC snafu -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2025-e57e9d2b81' 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 -- [email protected] To unsubscribe send an email to [email protected] 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/[email protected] Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
