-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-e57e9d2b81 2025-05-10 01:16:54.200117+00:00 --------------------------------------------------------------------------------
Name : cadical Product : Fedora 42 Version : 2.1.3 Release : 1.fc42 URL : http://fmv.jku.at/cadical/ Summary : Simplified SAT solver Description : CaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers. -------------------------------------------------------------------------------- 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]> - 1:2.1.3-1 - Version 2.1.3 -------------------------------------------------------------------------------- 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
