Better fix installation of cryptominisat and pycryptosat

[dimpase]

a followup to #33162

Depends on #33162

CC: @mkoeppe @culler

Component: packages: optional

Author: Dima Pasechnik

Branch/Commit: 76463a8

Reviewer: Matthias Koeppe

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

[mkoeppe]

Dependencies: #33162

[sagetrac-git]

Changed commit from e3d8e91 to c17897c

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

c17897c

checksums as link, and added install-requires

[dimpase]

Author: Dima Pasechnik

[mkoeppe]

comment:4

Doctest tags # optional - cryptominisat will have to be changed to ... pycryptosat

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

cfcf33a

retag the tests: cryptominisat->pycryptosat

[sagetrac-git]

Changed commit from c17897c to cfcf33a

[dimpase]

comment:6

done.

[mkoeppe]

Reviewer: Matthias Koeppe

[mkoeppe]

comment:8

Next, #25374?