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 594 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 2160 main
conda 577.5 kB | linux-64/cryptominisat-5.8.0-py39hebe7e3d_3.conda  2 years and 1 month ago 2138 main
conda 508.5 kB | linux-64/cryptominisat-5.8.0-py310h5aff6b2_3.conda  2 years and 1 month ago 2237 main
conda 509.5 kB | linux-64/cryptominisat-5.8.0-py311h3581ac3_3.conda  2 years and 1 month ago 2256 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 2228 main
conda 577.7 kB | linux-64/cryptominisat-5.8.0-py38h2a962c2_2.conda  2 years and 7 months ago 2137 main
conda 509.9 kB | linux-64/cryptominisat-5.8.0-py311h597d2cd_2.conda  2 years and 7 months ago 2231 main
conda 575.8 kB | linux-64/cryptominisat-5.8.0-py39h1a3a448_2.conda  2 years and 7 months ago 2327 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 3373 main
conda 667.8 kB | linux-64/cryptominisat-5.8.0-py38h0750f31_1.tar.bz2  4 years and 6 months ago 2922 main
conda 666.7 kB | linux-64/cryptominisat-5.8.0-py37haaa77d3_1.tar.bz2  4 years and 6 months ago 2739 main
conda 666.6 kB | linux-64/cryptominisat-5.8.0-py39hcf67cbd_1.tar.bz2  4 years and 6 months ago 3592 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