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 546.1 kB | osx-64/cryptominisat-5.8.0-py39hb10e792_3.conda  2 years and 1 month ago 616 main
conda 544.6 kB | osx-64/cryptominisat-5.8.0-py310he18e62a_3.conda  2 years and 1 month ago 590 main
conda 545.1 kB | osx-64/cryptominisat-5.8.0-py311hcb21608_3.conda  2 years and 1 month ago 593 main
conda 546.8 kB | osx-64/cryptominisat-5.8.0-py38h0f667b6_3.conda  2 years and 1 month ago 614 main
conda 577.6 kB | linux-64/cryptominisat-5.8.0-py38h40af590_3.conda  2 years and 1 month ago 2158 main
conda 577.5 kB | linux-64/cryptominisat-5.8.0-py39hebe7e3d_3.conda  2 years and 1 month ago 2136 main
conda 508.5 kB | linux-64/cryptominisat-5.8.0-py310h5aff6b2_3.conda  2 years and 1 month ago 2236 main
conda 509.5 kB | linux-64/cryptominisat-5.8.0-py311h3581ac3_3.conda  2 years and 1 month ago 2254 main
conda 567.3 kB | osx-64/cryptominisat-5.8.0-py39h642dc6f_2.conda  2 years and 7 months ago 604 main
conda 565.6 kB | osx-64/cryptominisat-5.8.0-py311h568df67_2.conda  2 years and 7 months ago 569 main
conda 565.5 kB | osx-64/cryptominisat-5.8.0-py310hc7e2060_2.conda  2 years and 7 months ago 606 main
conda 565.8 kB | osx-64/cryptominisat-5.8.0-py38h50bf175_2.conda  2 years and 7 months ago 570 main
conda 509.5 kB | linux-64/cryptominisat-5.8.0-py310he5dd035_2.conda  2 years and 7 months ago 2225 main
conda 577.7 kB | linux-64/cryptominisat-5.8.0-py38h2a962c2_2.conda  2 years and 7 months ago 2134 main
conda 509.9 kB | linux-64/cryptominisat-5.8.0-py311h597d2cd_2.conda  2 years and 7 months ago 2228 main
conda 575.8 kB | linux-64/cryptominisat-5.8.0-py39h1a3a448_2.conda  2 years and 7 months ago 2325 main
conda 586.8 kB | osx-64/cryptominisat-5.8.0-py38hafef7a7_1.tar.bz2  4 years and 6 months ago 145 main
conda 588.2 kB | osx-64/cryptominisat-5.8.0-py310h418234e_1.tar.bz2  4 years and 6 months ago 116 main
conda 601.3 kB | osx-64/cryptominisat-5.8.0-py39hdf0219e_1.tar.bz2  4 years and 6 months ago 360 main
conda 587.1 kB | osx-64/cryptominisat-5.8.0-py37hb8dddd4_1.tar.bz2  4 years and 6 months ago 100 main
conda 666.8 kB | linux-64/cryptominisat-5.8.0-py310h498eb00_1.tar.bz2  4 years and 6 months ago 3371 main
conda 667.8 kB | linux-64/cryptominisat-5.8.0-py38h0750f31_1.tar.bz2  4 years and 6 months ago 2920 main
conda 666.7 kB | linux-64/cryptominisat-5.8.0-py37haaa77d3_1.tar.bz2  4 years and 6 months ago 2738 main
conda 666.6 kB | linux-64/cryptominisat-5.8.0-py39hcf67cbd_1.tar.bz2  4 years and 6 months ago 3591 main
conda 585.2 kB | osx-64/cryptominisat-5.8.0-py36h4b31d39_0.tar.bz2  5 years and 1 month ago 222 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy