pycryptosat: Python module of cryptominisat

Description

Build and install pycryptosat into appropriate venv. See cryptominisat for more details.

License

MIT License

Upstream Contact

Type

optional

Version Information

package-version.txt:

5.6.8

install-requires.txt:

pycryptosat

Equivalent System Packages

conda:

$ conda install cryptominisat

homebrew:

$ brew install cryptominisat

See https://repology.org/project/cryptominisat/versions

However, these system packages will not be used for building Sage because using Python site-packages is not supported by the Sage distribution; see trac ticket #29023