pycryptosat: Python module of cryptominisat

Description

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

License

MIT License

Upstream Contact

• Authors: Mate Soos

• Email: soos.mate@gmail.com

• Website: http://www.msoos.org/

• Releases: https://github.com/msoos/cryptominisat/releases

Type

optional

Dependencies

• $(PYTHON)

• m4ri: fast arithmetic with dense matrices over GF(2)

• zlib: Data compression library

• libpng: Bitmap image support

• cryptominisat: A SAT solver

• cmake: A cross-platform build system generator

• boost_cropped: Portable C++ libraries (subset needed for Sage)

• $(PYTHON_TOOLCHAIN)

Version Information

package-version.txt:

5.8.0

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