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)

• $(PYTHON_TOOLCHAIN)

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

• cmake: A cross-platform build system generator

• cryptominisat: A SAT solver

• libpng: Bitmap image support

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

• zlib: Data compression library

Version Information

package-version.txt:

5.8.0

version_requirements.txt:

pycryptosat

Equivalent System Packages

conda-forge

$ conda install cryptominisat

Homebrew

$ brew install cryptominisat

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

If the system package is installed and if the (experimental) option --enable-system-site-packages is passed to ./configure, then ./configure will check if the system package can be used.