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/
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 https://trac.sagemath.org/ticket/29023