The breakid package is new. BreakID is a symmetry detecting and breaking library for SAT solvers. It is based on Jo Devriendt's BreakID code. It has been re-licensed by the original author to be MIT. All modifications by Mate Soos.
Cryptominisat has been updated to its latest version, with numerous performance improvements and bug fixes. It is now built with BreakID support as well.
The cvc5, stp, and yices builds are simple rebuilds due to the cryptominisat update.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2024-bd6e13f947Please log in to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi