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 591.9 kB | osx-64/cryptominisat-5.6.8-py38h165742e_2.tar.bz2  4 years and 11 months ago 327 main cf202003
conda 578.4 kB | osx-64/cryptominisat-5.6.8-py36h165742e_2.tar.bz2  4 years and 11 months ago 334 main cf202003
conda 591.2 kB | osx-64/cryptominisat-5.6.8-py27h165742e_2.tar.bz2  4 years and 11 months ago 336 main cf202003
conda 591.2 kB | osx-64/cryptominisat-5.6.8-py37h165742e_2.tar.bz2  4 years and 11 months ago 328 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py38h50e5661_2.tar.bz2  4 years and 11 months ago 2983 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py27h50e5661_2.tar.bz2  4 years and 11 months ago 2819 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py36h50e5661_2.tar.bz2  4 years and 11 months ago 2931 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h50e5661_2.tar.bz2  4 years and 11 months ago 2937 main cf202003
conda 580.3 kB | osx-64/cryptominisat-5.6.8-py36h7eed37d_1.tar.bz2  5 years and 2 months ago 361 main cf202003
conda 599.6 kB | osx-64/cryptominisat-5.6.8-py38h7eed37d_1.tar.bz2  5 years and 2 months ago 360 main cf202003
conda 590.9 kB | osx-64/cryptominisat-5.6.8-py27h7eed37d_1.tar.bz2  5 years and 2 months ago 352 main cf202003
conda 576.6 kB | osx-64/cryptominisat-5.6.8-py37h7eed37d_1.tar.bz2  5 years and 2 months ago 362 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py38h176a8bc_1.tar.bz2  5 years and 2 months ago 3614 main cf202003
conda 574.7 kB | osx-64/cryptominisat-5.6.8-py36h547e0c7_1.tar.bz2  5 years and 7 months ago 349 main cf202003
conda 563.9 kB | osx-64/cryptominisat-5.6.8-py27h547e0c7_1.tar.bz2  5 years and 7 months ago 355 main cf202003
conda 574.1 kB | osx-64/cryptominisat-5.6.8-py37h547e0c7_1.tar.bz2  5 years and 7 months ago 354 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py36h176a8bc_1.tar.bz2  5 years and 7 months ago 3583 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py27h176a8bc_1.tar.bz2  5 years and 7 months ago 3532 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h176a8bc_1.tar.bz2  5 years and 7 months ago 3622 main cf202003
conda 567.2 kB | osx-64/cryptominisat-5.6.8-py37hf00db70_0.tar.bz2  5 years and 11 months ago 369 main cf202003
conda 567.4 kB | osx-64/cryptominisat-5.6.8-py36hf00db70_0.tar.bz2  5 years and 11 months ago 355 main cf202003
conda 580.8 kB | osx-64/cryptominisat-5.6.8-py27hf00db70_0.tar.bz2  5 years and 11 months ago 362 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py27ha0ae72f_0.tar.bz2  5 years and 11 months ago 3942 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py36ha0ae72f_0.tar.bz2  5 years and 11 months ago 4056 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py37ha0ae72f_0.tar.bz2  5 years and 11 months ago 4015 main cf202003
conda 567.1 kB | osx-64/cryptominisat-5.6.7-py37hf00db70_0.tar.bz2  5 years and 11 months ago 363 main cf202003
conda 577.7 kB | osx-64/cryptominisat-5.6.7-py36hf00db70_0.tar.bz2  5 years and 11 months ago 363 main cf202003
conda 579.1 kB | osx-64/cryptominisat-5.6.7-py27hf00db70_0.tar.bz2  5 years and 11 months ago 364 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py27ha0ae72f_0.tar.bz2  5 years and 11 months ago 3933 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py37ha0ae72f_0.tar.bz2  5 years and 11 months ago 4035 main cf202003
conda 5.9 MB | linux-64/cryptominisat-5.6.7-py36ha0ae72f_0.tar.bz2  5 years and 11 months ago 4064 main cf202003
conda 564.1 kB | osx-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  6 years and 17 days ago 375 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  6 years and 17 days ago 4172 main cf202003 cf201901
conda 553.6 kB | osx-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  6 years and 17 days ago 366 main cf202003 cf201901
conda 5.9 MB | linux-64/cryptominisat-5.6.5-py27ha0ae72f_1000.tar.bz2  6 years and 17 days ago 4165 main gcc7 cf202003
conda 549.9 kB | osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2  6 years and 17 days ago 370 main cf202003 cf201901
conda 5.9 MB | linux-64/cryptominisat-5.6.5-py36ha0ae72f_1000.tar.bz2  6 years and 17 days ago 4235 main gcc7 cf202003
conda 564.9 kB | osx-64/cryptominisat-5.6.5-py37hf00db70_1000.tar.bz2  6 years and 17 days ago 371 main gcc7 cf202003
conda 565.0 kB | osx-64/cryptominisat-5.6.5-py36hf00db70_1000.tar.bz2  6 years and 17 days ago 352 main gcc7 cf202003
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2  6 years and 17 days ago 4233 main cf202003 cf201901
conda 563.2 kB | osx-64/cryptominisat-5.6.5-py27hf00db70_1000.tar.bz2  6 years and 17 days ago 372 main gcc7 cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.5-py37ha0ae72f_1000.tar.bz2  6 years and 17 days ago 4174 main gcc7 cf202003
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2  6 years and 17 days ago 4197 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 4470 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2  6 years and 4 months ago 4567 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2  6 years and 4 months ago 4698 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 372 main cf202003 cf201901
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy