Menu
About
Anaconda
Help
Download Anaconda
Sign In
Anaconda.com
A new user experience is coming soon! These rolling changes are ongoing and some pages will still have the old user interface.
main
/
packages
/
pycryptosat
5.12.1
0
An advanced SAT Solver
https://www.msoos.org
Conda
Files
Labels
Badges
License: MIT
Home:
https://github.com/msoos/cryptominisat
Development:
https://github.com/msoos/cryptominisat
Documentation:
https://github.com/msoos/cryptominisat
2392
total downloads
Last upload: 1 month and 22 days ago
Installers
linux-64
v5.12.1
linux-aarch64
v5.12.1
osx-arm64
v5.12.1
win-64
v5.6.6
linux-ppc64le
v5.6.6
osx-64
v5.6.6
win-32
v5.6.6
linux-s390x
v5.6.6
conda install
To install this package run one of the following:
conda install main::pycryptosat
Description
An advanced SAT Solver https://www.msoos.org
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.13)
Legal
|
Privacy Policy
