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 6.3 MB | linux-64/cryptominisat-5.6.2-py36he941832_0.tar.bz2  7 years and 11 months ago 5892 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.2-py27he941832_0.tar.bz2  7 years and 11 months ago 5635 main cf202003 cf201901
conda 548.3 kB | osx-64/cryptominisat-5.6.1-py36he941832_0.tar.bz2  7 years and 11 months ago 397 main cf202003 cf201901
conda 547.5 kB | osx-64/cryptominisat-5.6.1-py35he941832_0.tar.bz2  7 years and 11 months ago 401 main cf202003 cf201901
conda 548.5 kB | osx-64/cryptominisat-5.6.1-py27he941832_0.tar.bz2  7 years and 11 months ago 403 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.1-py36he941832_0.tar.bz2  7 years and 11 months ago 5842 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.1-py35he941832_0.tar.bz2  7 years and 11 months ago 5858 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.1-py27he941832_0.tar.bz2  7 years and 11 months ago 5689 main cf202003 cf201901
conda 549.7 kB | osx-64/cryptominisat-5.6.0-py36he941832_0.tar.bz2  7 years and 11 months ago 410 main cf202003 cf201901
conda 549.9 kB | osx-64/cryptominisat-5.6.0-py27he941832_0.tar.bz2  7 years and 11 months ago 383 main cf202003 cf201901
conda 549.0 kB | osx-64/cryptominisat-5.6.0-py35he941832_0.tar.bz2  7 years and 11 months ago 381 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.6.0-py35he941832_0.tar.bz2  7 years and 11 months ago 5787 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.6.0-py36he941832_0.tar.bz2  7 years and 11 months ago 5822 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.6.0-py27he941832_0.tar.bz2  7 years and 11 months ago 5714 main cf202003 cf201901
conda 537.9 kB | osx-64/cryptominisat-5.0.2-py36_1.tar.bz2  8 years and 1 month ago 3289 main cf202003 cf201901
conda 527.6 kB | osx-64/cryptominisat-5.0.2-py27_1.tar.bz2  8 years and 1 month ago 3259 main cf202003 cf201901
conda 537.7 kB | osx-64/cryptominisat-5.0.2-py35_1.tar.bz2  8 years and 1 month ago 3348 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py35_1.tar.bz2  8 years and 1 month ago 8862 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py36_1.tar.bz2  8 years and 1 month ago 9152 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.0.2-py27_1.tar.bz2  8 years and 1 month ago 9088 main cf202003 cf201901
conda 537.9 kB | osx-64/cryptominisat-5.0.2-py36_0.tar.bz2  8 years and 3 months ago 3278 main cf202003 cf201901
conda 538.0 kB | osx-64/cryptominisat-5.0.2-py35_0.tar.bz2  8 years and 3 months ago 3304 main cf202003 cf201901
conda 528.6 kB | osx-64/cryptominisat-5.0.2-py27_0.tar.bz2  8 years and 3 months ago 3259 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.0.2-py27_0.tar.bz2  8 years and 3 months ago 8892 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py35_0.tar.bz2  8 years and 3 months ago 8915 main cf202003 cf201901
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy