About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / cryptominisat

An advanced SAT Solver https://www.msoos.org

copied from cf-staging / cryptominisat

Filters
Type Size Name Uploaded Downloads Labels
conda 567.1 kB | osx-64/cryptominisat-5.6.7-py37hf00db70_0.tar.bz2  7 years and 1 month ago 386 main cf202003
conda 577.7 kB | osx-64/cryptominisat-5.6.7-py36hf00db70_0.tar.bz2  7 years and 1 month ago 385 main cf202003
conda 579.1 kB | osx-64/cryptominisat-5.6.7-py27hf00db70_0.tar.bz2  7 years and 1 month ago 383 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py27ha0ae72f_0.tar.bz2  7 years and 1 month ago 4890 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py37ha0ae72f_0.tar.bz2  7 years and 1 month ago 4998 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py36ha0ae72f_0.tar.bz2  7 years and 1 month ago 5019 main cf202003
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy