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.
Please login to add feedback.