Upgrade to Cryptominisat 5.6.8

[slel]

This ticket is to upgrade to Cryptominisat 5.6.8.

Tarball (to be renamed cryptominisat-5.6.8.tar.gz):

• ​https://github.com/msoos/cryptominisat/archive/5.6.8.tar.gz

Our last upgrade was to Cryptominisat 5.6.6 in #25480.

Release notes (from the
Cryptominisat releases
page on GitHub):

• Cryptominisat 5.6.7

  Some fixes and misc improvements. Also, a slightly changed naming
  for the independent variables. They are really sampling variables and
  so the interface has been renamed accordingly.

• Cryptominisat 5.6.8

  Fixing Windows build

CC: @embray @jdemeyer @saraedum @slel @sagetrac-tmonteil @videlec @orlitzky

Component: packages: optional

Keywords: upgrade, cryptominisat

Author: Frédéric Chapoton

Branch/Commit: d219646

Reviewer: Thierry Monteil

Issue created by migration from https://trac.sagemath.org/ticket/27319

[slel]

Description changed:

--- 
+++ 
@@ -1,5 +1,19 @@
-This ticket is to upgrade to cryptominisat 5.6.7.
+This ticket is to upgrade to Cryptominisat 5.6.8.
 
-- **Tarball**: ​https://github.com/msoos/cryptominisat/archive/5.6.7.tar.gz
+**Tarball** (to be renamed cryptominisat-5.6.8.tar.gz):
 
-(to be renamed cryptominisat-5.6.7.tar.gz)
+- ​https://github.com/msoos/cryptominisat/archive/5.6.8.tar.gz
+
+Our last upgrade was to Cryptominisat 5.6.6 in #25480.
+
+**Release notes** (from the
+[Cryptominisat releases](https://github.com/msoos/cryptominisat/releases)
+page on GitHub):
+
+- Cryptominisat 5.6.7
+    > Some fixes and misc improvements. Also, a slightly changed naming
+    > for the independent variables. They are really sampling variables and
+    > so the interface has been renamed accordingly.
+- Cryptominisat 5.6.8
+    > Fixing Windows build
+

[embray]

comment:3

Ticket retargeted after milestone closed (if you don't believe this ticket is appropriate for the Sage 8.8 release please retarget manually)

[fchapoton]

Branch: u/chapoton/27319

[fchapoton]

Author: Frédéric Chapoton

[fchapoton]

New commits:

3a89fb2

update cryptominisat to 5.6.8

[fchapoton]

Commit: 3a89fb2

[fchapoton]

comment:5

Here is a branch.

[sagetrac-tmonteil]

Reviewer: Thierry Monteil