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
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