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 564.1 kB | osx-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  6 years and 18 days ago 375 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  6 years and 18 days ago 4173 main cf202003 cf201901
conda 553.6 kB | osx-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  6 years and 18 days ago 367 main cf202003 cf201901
conda 549.9 kB | osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  6 years and 18 days ago 370 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  6 years and 18 days ago 4235 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  6 years and 18 days ago 4199 main cf202003 cf201901
conda 557.2 kB | osx-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2  6 years and 4 months ago 368 main cf202003 cf201901
conda 557.3 kB | osx-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2  6 years and 4 months ago 374 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2  6 years and 4 months ago 4472 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2  6 years and 4 months ago 4570 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2  6 years and 4 months ago 4700 main cf202003 cf201901
conda 557.3 kB | osx-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2  6 years and 4 months ago 375 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2  6 years and 5 months ago 373 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2  6 years and 5 months ago 4748 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2  6 years and 5 months ago 376 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2  6 years and 5 months ago 363 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2  6 years and 5 months ago 4596 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2  6 years and 5 months ago 4506 main cf202003 cf201901
conda 553.8 kB | osx-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2  6 years and 7 months ago 377 main cf202003 cf201901
conda 553.7 kB | osx-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2  6 years and 7 months ago 370 main cf202003 cf201901
conda 553.7 kB | osx-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2  6 years and 7 months ago 382 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.3-py27he941832_0.tar.bz2  6 years and 7 months ago 4587 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.3-py35he941832_0.tar.bz2  6 years and 7 months ago 4730 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.3-py36he941832_0.tar.bz2  6 years and 7 months ago 4730 main cf202003 cf201901
conda 553.5 kB | osx-64/cryptominisat-5.6.2-py36he941832_0.tar.bz2  6 years and 7 months ago 366 main cf202003 cf201901
conda 553.6 kB | osx-64/cryptominisat-5.6.2-py27he941832_0.tar.bz2  6 years and 7 months ago 360 main cf202003 cf201901
conda 553.6 kB | osx-64/cryptominisat-5.6.2-py35he941832_0.tar.bz2  6 years and 7 months ago 369 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.2-py35he941832_0.tar.bz2  6 years and 7 months ago 4718 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.2-py36he941832_0.tar.bz2  6 years and 7 months ago 4851 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.2-py27he941832_0.tar.bz2  6 years and 7 months ago 4582 main cf202003 cf201901
conda 548.3 kB | osx-64/cryptominisat-5.6.1-py36he941832_0.tar.bz2  6 years and 7 months ago 372 main cf202003 cf201901
conda 547.5 kB | osx-64/cryptominisat-5.6.1-py35he941832_0.tar.bz2  6 years and 7 months ago 377 main cf202003 cf201901
conda 548.5 kB | osx-64/cryptominisat-5.6.1-py27he941832_0.tar.bz2  6 years and 7 months ago 380 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.1-py36he941832_0.tar.bz2  6 years and 7 months ago 4775 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.1-py35he941832_0.tar.bz2  6 years and 7 months ago 4740 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.1-py27he941832_0.tar.bz2  6 years and 7 months ago 4578 main cf202003 cf201901
conda 549.7 kB | osx-64/cryptominisat-5.6.0-py36he941832_0.tar.bz2  6 years and 7 months ago 384 main cf202003 cf201901
conda 549.9 kB | osx-64/cryptominisat-5.6.0-py27he941832_0.tar.bz2  6 years and 7 months ago 360 main cf202003 cf201901
conda 549.0 kB | osx-64/cryptominisat-5.6.0-py35he941832_0.tar.bz2  6 years and 7 months ago 360 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.6.0-py35he941832_0.tar.bz2  6 years and 7 months ago 4715 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.6.0-py36he941832_0.tar.bz2  6 years and 7 months ago 4754 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.6.0-py27he941832_0.tar.bz2  6 years and 7 months ago 4598 main cf202003 cf201901
conda 537.9 kB | osx-64/cryptominisat-5.0.2-py36_1.tar.bz2  6 years and 9 months ago 370 main cf202003 cf201901
conda 527.6 kB | osx-64/cryptominisat-5.0.2-py27_1.tar.bz2  6 years and 9 months ago 381 main cf202003 cf201901
conda 537.7 kB | osx-64/cryptominisat-5.0.2-py35_1.tar.bz2  6 years and 9 months ago 374 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py35_1.tar.bz2  6 years and 9 months ago 4884 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py36_1.tar.bz2  6 years and 9 months ago 5207 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.0.2-py27_1.tar.bz2  6 years and 9 months ago 4794 main cf202003 cf201901
conda 537.9 kB | osx-64/cryptominisat-5.0.2-py36_0.tar.bz2  6 years and 11 months ago 368 main cf202003 cf201901
conda 538.0 kB | osx-64/cryptominisat-5.0.2-py35_0.tar.bz2  6 years and 11 months ago 368 main cf202003 cf201901
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy