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

install-requires.txt:

pycryptosat

Equivalent System Packages

conda-forge

$ 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 spkg-configure.m4 has not been written for this package; see github issue #27330 for more information.