About Anaconda Help Download Anaconda

An advanced SAT Solver https://www.msoos.org

copied from cf-staging / cryptominisat
Type Size Name Uploaded Downloads Labels
conda 546.1 kB | osx-64/cryptominisat-5.8.0-py39hb10e792_3.conda  9 months and 2 hours ago 442 main
conda 544.6 kB | osx-64/cryptominisat-5.8.0-py310he18e62a_3.conda  9 months and 2 hours ago 422 main
conda 545.1 kB | osx-64/cryptominisat-5.8.0-py311hcb21608_3.conda  9 months and 2 hours ago 451 main
conda 546.8 kB | osx-64/cryptominisat-5.8.0-py38h0f667b6_3.conda  9 months and 2 hours ago 447 main
conda 577.6 kB | linux-64/cryptominisat-5.8.0-py38h40af590_3.conda  9 months and 2 hours ago 975 main
conda 577.5 kB | linux-64/cryptominisat-5.8.0-py39hebe7e3d_3.conda  9 months and 2 hours ago 1003 main
conda 508.5 kB | linux-64/cryptominisat-5.8.0-py310h5aff6b2_3.conda  9 months and 2 hours ago 1006 main
conda 509.5 kB | linux-64/cryptominisat-5.8.0-py311h3581ac3_3.conda  9 months and 2 hours ago 1010 main
conda 567.3 kB | osx-64/cryptominisat-5.8.0-py39h642dc6f_2.conda  1 year and 2 months ago 443 main
conda 565.6 kB | osx-64/cryptominisat-5.8.0-py311h568df67_2.conda  1 year and 2 months ago 403 main
conda 565.5 kB | osx-64/cryptominisat-5.8.0-py310hc7e2060_2.conda  1 year and 2 months ago 413 main
conda 565.8 kB | osx-64/cryptominisat-5.8.0-py38h50bf175_2.conda  1 year and 2 months ago 427 main
conda 509.5 kB | linux-64/cryptominisat-5.8.0-py310he5dd035_2.conda  1 year and 2 months ago 1017 main
conda 577.7 kB | linux-64/cryptominisat-5.8.0-py38h2a962c2_2.conda  1 year and 2 months ago 1011 main
conda 509.9 kB | linux-64/cryptominisat-5.8.0-py311h597d2cd_2.conda  1 year and 2 months ago 1037 main
conda 575.8 kB | linux-64/cryptominisat-5.8.0-py39h1a3a448_2.conda  1 year and 2 months ago 1103 main
conda 586.8 kB | osx-64/cryptominisat-5.8.0-py38hafef7a7_1.tar.bz2  3 years and 1 month ago 119 main
conda 588.2 kB | osx-64/cryptominisat-5.8.0-py310h418234e_1.tar.bz2  3 years and 1 month ago 93 main
conda 601.3 kB | osx-64/cryptominisat-5.8.0-py39hdf0219e_1.tar.bz2  3 years and 1 month ago 334 main
conda 587.1 kB | osx-64/cryptominisat-5.8.0-py37hb8dddd4_1.tar.bz2  3 years and 1 month ago 76 main
conda 666.8 kB | linux-64/cryptominisat-5.8.0-py310h498eb00_1.tar.bz2  3 years and 1 month ago 1967 main
conda 667.8 kB | linux-64/cryptominisat-5.8.0-py38h0750f31_1.tar.bz2  3 years and 1 month ago 1806 main
conda 666.7 kB | linux-64/cryptominisat-5.8.0-py37haaa77d3_1.tar.bz2  3 years and 1 month ago 1659 main
conda 666.6 kB | linux-64/cryptominisat-5.8.0-py39hcf67cbd_1.tar.bz2  3 years and 1 month ago 2484 main
conda 585.2 kB | osx-64/cryptominisat-5.8.0-py36h4b31d39_0.tar.bz2  3 years and 8 months ago 197 main
conda 599.1 kB | osx-64/cryptominisat-5.8.0-py37hb8dddd4_0.tar.bz2  3 years and 8 months ago 188 main
conda 585.5 kB | osx-64/cryptominisat-5.8.0-py38hafef7a7_0.tar.bz2  3 years and 8 months ago 241 main
conda 586.2 kB | osx-64/cryptominisat-5.8.0-py39hdf0219e_0.tar.bz2  3 years and 8 months ago 211 main
conda 668.2 kB | linux-64/cryptominisat-5.8.0-py38h0750f31_0.tar.bz2  3 years and 8 months ago 2275 main
conda 666.8 kB | linux-64/cryptominisat-5.8.0-py39hcf67cbd_0.tar.bz2  3 years and 8 months ago 2722 main
conda 678.4 kB | linux-64/cryptominisat-5.8.0-py37haaa77d3_0.tar.bz2  3 years and 8 months ago 2031 main
conda 678.2 kB | linux-64/cryptominisat-5.8.0-py36h108b1b2_0.tar.bz2  3 years and 8 months ago 2059 main
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

© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy