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 564.1 kB | osx-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  7 years and 3 months ago 398 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  7 years and 3 months ago 5096 main cf202003 cf201901
conda 553.6 kB | osx-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  7 years and 3 months ago 388 main cf202003 cf201901
conda 5.9 MB | linux-64/cryptominisat-5.6.5-py27ha0ae72f_1000.tar.bz2  7 years and 3 months ago 5132 main gcc7 cf202003
conda 549.9 kB | osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  7 years and 3 months ago 391 main cf202003 cf201901
conda 5.9 MB | linux-64/cryptominisat-5.6.5-py36ha0ae72f_1000.tar.bz2  7 years and 3 months ago 5184 main gcc7 cf202003
conda 564.9 kB | osx-64/cryptominisat-5.6.5-py37hf00db70_1000.tar.bz2  7 years and 3 months ago 398 main gcc7 cf202003
conda 565.0 kB | osx-64/cryptominisat-5.6.5-py36hf00db70_1000.tar.bz2  7 years and 3 months ago 378 main gcc7 cf202003
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  7 years and 3 months ago 5203 main cf202003 cf201901
conda 563.2 kB | osx-64/cryptominisat-5.6.5-py27hf00db70_1000.tar.bz2  7 years and 3 months ago 396 main gcc7 cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.5-py37ha0ae72f_1000.tar.bz2  7 years and 3 months ago 5110 main gcc7 cf202003
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  7 years and 3 months ago 5142 main cf202003 cf201901
conda 557.2 kB | osx-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2  7 years and 6 months ago 390 main cf202003 cf201901
conda 557.3 kB | osx-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2  7 years and 6 months ago 398 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2  7 years and 6 months ago 5402 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2  7 years and 6 months ago 5502 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2  7 years and 6 months ago 5661 main cf202003 cf201901
conda 557.3 kB | osx-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2  7 years and 6 months ago 399 main cf202003 cf201901
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy