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 574.1 kB | osx-64/cryptominisat-5.6.8-py37h547e0c7_1.tar.bz2  6 years and 11 months ago 381 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py36h176a8bc_1.tar.bz2  6 years and 11 months ago 4620 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py27h176a8bc_1.tar.bz2  6 years and 11 months ago 4605 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h176a8bc_1.tar.bz2  6 years and 11 months ago 4718 main cf202003
conda 567.2 kB | osx-64/cryptominisat-5.6.8-py37hf00db70_0.tar.bz2  7 years and 3 months ago 397 main cf202003
conda 567.4 kB | osx-64/cryptominisat-5.6.8-py36hf00db70_0.tar.bz2  7 years and 3 months ago 376 main cf202003
conda 580.8 kB | osx-64/cryptominisat-5.6.8-py27hf00db70_0.tar.bz2  7 years and 3 months ago 385 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py27ha0ae72f_0.tar.bz2  7 years and 3 months ago 5023 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py36ha0ae72f_0.tar.bz2  7 years and 3 months ago 5105 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py37ha0ae72f_0.tar.bz2  7 years and 3 months ago 5055 main cf202003
conda 567.1 kB | osx-64/cryptominisat-5.6.7-py37hf00db70_0.tar.bz2  7 years and 3 months ago 389 main cf202003
conda 577.7 kB | osx-64/cryptominisat-5.6.7-py36hf00db70_0.tar.bz2  7 years and 3 months ago 386 main cf202003
conda 579.1 kB | osx-64/cryptominisat-5.6.7-py27hf00db70_0.tar.bz2  7 years and 3 months ago 386 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py27ha0ae72f_0.tar.bz2  7 years and 3 months ago 5012 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py37ha0ae72f_0.tar.bz2  7 years and 3 months ago 5108 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py36ha0ae72f_0.tar.bz2  7 years and 3 months ago 5136 main cf202003
conda 564.1 kB | osx-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  7 years and 4 months ago 401 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  7 years and 4 months ago 5209 main cf202003 cf201901
conda 553.6 kB | osx-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  7 years and 4 months ago 392 main cf202003 cf201901
conda 5.9 MB | linux-64/cryptominisat-5.6.5-py27ha0ae72f_1000.tar.bz2  7 years and 4 months ago 5256 main gcc7 cf202003
conda 549.9 kB | osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  7 years and 4 months ago 394 main cf202003 cf201901
conda 5.9 MB | linux-64/cryptominisat-5.6.5-py36ha0ae72f_1000.tar.bz2  7 years and 4 months ago 5293 main gcc7 cf202003
conda 564.9 kB | osx-64/cryptominisat-5.6.5-py37hf00db70_1000.tar.bz2  7 years and 4 months ago 400 main gcc7 cf202003
conda 565.0 kB | osx-64/cryptominisat-5.6.5-py36hf00db70_1000.tar.bz2  7 years and 4 months ago 381 main gcc7 cf202003
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  7 years and 4 months ago 5320 main cf202003 cf201901
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy