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 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 549.9 kB | osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  7 years and 4 months ago 394 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  7 years and 4 months ago 5320 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  7 years and 4 months ago 5262 main cf202003 cf201901
conda 557.2 kB | osx-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2  7 years and 8 months ago 391 main cf202003 cf201901
conda 557.3 kB | osx-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2  7 years and 8 months ago 401 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2  7 years and 8 months ago 5510 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2  7 years and 8 months ago 5615 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2  7 years and 8 months ago 5780 main cf202003 cf201901
conda 557.3 kB | osx-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2  7 years and 8 months ago 402 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2  7 years and 9 months ago 395 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2  7 years and 9 months ago 5831 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2  7 years and 9 months ago 399 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2  7 years and 9 months ago 387 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2  7 years and 9 months ago 5639 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2  7 years and 9 months ago 5595 main cf202003 cf201901
conda 553.8 kB | osx-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2  7 years and 11 months ago 401 main cf202003 cf201901
conda 553.7 kB | osx-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2  7 years and 11 months ago 397 main cf202003 cf201901
conda 553.7 kB | osx-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2  7 years and 11 months ago 409 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2  7 years and 11 months ago 5663 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2  7 years and 11 months ago 5824 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2  7 years and 11 months ago 5737 main cf202003 cf201901
conda 553.5 kB | osx-64/cryptominisat-5.6.2-py36he941832_0.tar.bz2  7 years and 11 months ago 391 main cf202003 cf201901
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy