About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

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 5.9 MB | linux-64/cryptominisat-5.6.5-py27ha0ae72f_1000.tar.bz2  6 years and 2 days ago 4126 main gcc7 cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.5-py36ha0ae72f_1000.tar.bz2  6 years and 2 days ago 4191 main gcc7 cf202003
conda 564.9 kB | osx-64/cryptominisat-5.6.5-py37hf00db70_1000.tar.bz2  6 years and 2 days ago 369 main gcc7 cf202003
conda 565.0 kB | osx-64/cryptominisat-5.6.5-py36hf00db70_1000.tar.bz2  6 years and 2 days ago 351 main gcc7 cf202003
conda 563.2 kB | osx-64/cryptominisat-5.6.5-py27hf00db70_1000.tar.bz2  6 years and 2 days ago 370 main gcc7 cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.5-py37ha0ae72f_1000.tar.bz2  6 years and 2 days ago 4130 main gcc7 cf202003
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy