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 575.6 kB | osx-64/cryptominisat-5.6.8-py39h902a95f_4.tar.bz2  4 years and 2 months ago 292 main
conda 567.2 kB | osx-64/cryptominisat-5.6.8-py37h4982200_4.tar.bz2  4 years and 2 months ago 283 main
conda 581.7 kB | osx-64/cryptominisat-5.6.8-py36hd3a544c_4.tar.bz2  4 years and 2 months ago 296 main
conda 570.4 kB | osx-64/cryptominisat-5.6.8-py39h29ac329_4.tar.bz2  4 years and 2 months ago 280 main
conda 588.1 kB | osx-64/cryptominisat-5.6.8-py36h695bc63_4.tar.bz2  4 years and 2 months ago 293 main
conda 576.1 kB | osx-64/cryptominisat-5.6.8-py37h0033c41_4.tar.bz2  4 years and 2 months ago 295 main
conda 570.9 kB | osx-64/cryptominisat-5.6.8-py38h26a761f_4.tar.bz2  4 years and 2 months ago 873 main
conda 576.5 kB | osx-64/cryptominisat-5.6.8-py38h1d70264_4.tar.bz2  4 years and 2 months ago 292 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py38h5e74f7f_4.tar.bz2  4 years and 2 months ago 2313 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h65bae40_4.tar.bz2  4 years and 2 months ago 2340 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py39h3bb5f65_4.tar.bz2  4 years and 2 months ago 2866 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py39h676fd8f_4.tar.bz2  4 years and 2 months ago 2906 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py37h9cd63b4_4.tar.bz2  4 years and 2 months ago 2340 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py38he3216b4_4.tar.bz2  4 years and 2 months ago 2723 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py36h3734d64_4.tar.bz2  4 years and 2 months ago 2357 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py36h87d53cf_4.tar.bz2  4 years and 2 months ago 2363 main
conda 570.8 kB | osx-64/cryptominisat-5.6.8-py37h4982200_3.tar.bz2  4 years and 3 months ago 342 main
conda 582.0 kB | osx-64/cryptominisat-5.6.8-py36hd3a544c_3.tar.bz2  4 years and 3 months ago 327 main
conda 588.5 kB | osx-64/cryptominisat-5.6.8-py38h1d70264_3.tar.bz2  4 years and 3 months ago 314 main
conda 584.1 kB | osx-64/cryptominisat-5.6.8-py38h26a761f_3.tar.bz2  4 years and 3 months ago 317 main
conda 576.3 kB | osx-64/cryptominisat-5.6.8-py36h695bc63_3.tar.bz2  4 years and 3 months ago 330 main
conda 575.8 kB | osx-64/cryptominisat-5.6.8-py37h0033c41_3.tar.bz2  4 years and 3 months ago 329 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py38h5e74f7f_3.tar.bz2  4 years and 3 months ago 2435 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py38he3216b4_3.tar.bz2  4 years and 3 months ago 2456 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h65bae40_3.tar.bz2  4 years and 3 months ago 2442 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py36h3734d64_3.tar.bz2  4 years and 3 months ago 2436 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py37h9cd63b4_3.tar.bz2  4 years and 3 months ago 2435 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py36h87d53cf_3.tar.bz2  4 years and 3 months ago 2424 main
conda 591.9 kB | osx-64/cryptominisat-5.6.8-py38h165742e_2.tar.bz2  4 years and 10 months ago 326 main cf202003
conda 578.4 kB | osx-64/cryptominisat-5.6.8-py36h165742e_2.tar.bz2  4 years and 10 months ago 332 main cf202003
conda 591.2 kB | osx-64/cryptominisat-5.6.8-py27h165742e_2.tar.bz2  4 years and 10 months ago 334 main cf202003
conda 591.2 kB | osx-64/cryptominisat-5.6.8-py37h165742e_2.tar.bz2  4 years and 10 months ago 326 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py38h50e5661_2.tar.bz2  4 years and 10 months ago 2941 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py27h50e5661_2.tar.bz2  4 years and 10 months ago 2775 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py36h50e5661_2.tar.bz2  4 years and 10 months ago 2892 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h50e5661_2.tar.bz2  4 years and 10 months ago 2895 main cf202003
conda 580.3 kB | osx-64/cryptominisat-5.6.8-py36h7eed37d_1.tar.bz2  5 years and 2 months ago 359 main cf202003
conda 599.6 kB | osx-64/cryptominisat-5.6.8-py38h7eed37d_1.tar.bz2  5 years and 2 months ago 358 main cf202003
conda 590.9 kB | osx-64/cryptominisat-5.6.8-py27h7eed37d_1.tar.bz2  5 years and 2 months ago 351 main cf202003
conda 576.6 kB | osx-64/cryptominisat-5.6.8-py37h7eed37d_1.tar.bz2  5 years and 2 months ago 360 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py38h176a8bc_1.tar.bz2  5 years and 2 months ago 3576 main cf202003
conda 574.7 kB | osx-64/cryptominisat-5.6.8-py36h547e0c7_1.tar.bz2  5 years and 6 months ago 347 main cf202003
conda 563.9 kB | osx-64/cryptominisat-5.6.8-py27h547e0c7_1.tar.bz2  5 years and 6 months ago 353 main cf202003
conda 574.1 kB | osx-64/cryptominisat-5.6.8-py37h547e0c7_1.tar.bz2  5 years and 6 months ago 352 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py36h176a8bc_1.tar.bz2  5 years and 6 months ago 3543 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py27h176a8bc_1.tar.bz2  5 years and 6 months ago 3488 main cf202003
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h176a8bc_1.tar.bz2  5 years and 6 months ago 3578 main cf202003
conda 567.2 kB | osx-64/cryptominisat-5.6.8-py37hf00db70_0.tar.bz2  5 years and 10 months ago 368 main cf202003
conda 567.4 kB | osx-64/cryptominisat-5.6.8-py36hf00db70_0.tar.bz2  5 years and 10 months ago 353 main cf202003
conda 580.8 kB | osx-64/cryptominisat-5.6.8-py27hf00db70_0.tar.bz2  5 years and 10 months ago 360 main cf202003
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy