Upgrade cryptominisat to 5.8.0, fix build on Cygwin #25374
Description
This is to upgrade to CryptoMiniSat 5.8.0, released 2020-07-06.
Tarball at: https://github.com/msoos/cryptominisat/archive/refs/tags/5.8.0.tar.gz
Release notes for the versions since 5.6.8 (current in Sage):
== 5.8.0 ==
Massive new release! Many-many improvements:
- Gauss-Jordan elimination is enabled by default
- Target Phases ("Stable Polarities") are used
- CCAnr SLS solver is enabled and is set to work by default
- Hybrid variable branching heuristics
- Many-many speed improvements
- Better DIMACS parsing to work for other systems
- Made to work with new ApproxMC and UniGen
== 5.7.1 ==
- Removing LSIDS, as it was interfering with performance.
== 5.7.0 ==
- Improved parameters
- Hybrid branching strategies
- and much more
Previous upgrade:
- Upgrade to Cryptominisat 5.6.8 #27319: Upgrade to Cryptominisat 5.6.8 -- merged in Sage 8.9.beta2
Upstream: Fixed upstream, in a later stable release.
CC: @slel @tscrim @jm58660 @embray @jdemeyer @saraedum @sagetrac-tmonteil @videlec @orlitzky @novoselt @kiwifb @dimpase
Component: packages: optional
Keywords: upgrade, cryptominisat
Author: Erik Bray, Thierry Monteil, François Bissey, Matthias Koeppe
Branch: 69033db
Reviewer: Travis Scrimshaw, Julian Rüth, Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/25374