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  1 year and 5 months ago 600 main
conda 544.6 kB | osx-64/cryptominisat-5.8.0-py310he18e62a_3.conda  1 year and 5 months ago 573 main
conda 545.1 kB | osx-64/cryptominisat-5.8.0-py311hcb21608_3.conda  1 year and 5 months ago 577 main
conda 546.8 kB | osx-64/cryptominisat-5.8.0-py38h0f667b6_3.conda  1 year and 5 months ago 597 main
conda 577.6 kB | linux-64/cryptominisat-5.8.0-py38h40af590_3.conda  1 year and 5 months ago 1654 main
conda 577.5 kB | linux-64/cryptominisat-5.8.0-py39hebe7e3d_3.conda  1 year and 5 months ago 1670 main
conda 508.5 kB | linux-64/cryptominisat-5.8.0-py310h5aff6b2_3.conda  1 year and 5 months ago 1722 main
conda 509.5 kB | linux-64/cryptominisat-5.8.0-py311h3581ac3_3.conda  1 year and 5 months ago 1725 main
conda 567.3 kB | osx-64/cryptominisat-5.8.0-py39h642dc6f_2.conda  1 year and 11 months ago 587 main
conda 565.6 kB | osx-64/cryptominisat-5.8.0-py311h568df67_2.conda  1 year and 11 months ago 548 main
conda 565.5 kB | osx-64/cryptominisat-5.8.0-py310hc7e2060_2.conda  1 year and 11 months ago 583 main
conda 565.8 kB | osx-64/cryptominisat-5.8.0-py38h50bf175_2.conda  1 year and 11 months ago 551 main
conda 509.5 kB | linux-64/cryptominisat-5.8.0-py310he5dd035_2.conda  1 year and 11 months ago 1727 main
conda 577.7 kB | linux-64/cryptominisat-5.8.0-py38h2a962c2_2.conda  1 year and 11 months ago 1663 main
conda 509.9 kB | linux-64/cryptominisat-5.8.0-py311h597d2cd_2.conda  1 year and 11 months ago 1734 main
conda 575.8 kB | linux-64/cryptominisat-5.8.0-py39h1a3a448_2.conda  1 year and 11 months ago 1810 main
conda 586.8 kB | osx-64/cryptominisat-5.8.0-py38hafef7a7_1.tar.bz2  3 years and 10 months ago 128 main
conda 588.2 kB | osx-64/cryptominisat-5.8.0-py310h418234e_1.tar.bz2  3 years and 10 months ago 102 main
conda 601.3 kB | osx-64/cryptominisat-5.8.0-py39hdf0219e_1.tar.bz2  3 years and 10 months ago 343 main
conda 587.1 kB | osx-64/cryptominisat-5.8.0-py37hb8dddd4_1.tar.bz2  3 years and 10 months ago 83 main
conda 666.8 kB | linux-64/cryptominisat-5.8.0-py310h498eb00_1.tar.bz2  3 years and 10 months ago 2843 main
conda 667.8 kB | linux-64/cryptominisat-5.8.0-py38h0750f31_1.tar.bz2  3 years and 10 months ago 2437 main
conda 666.7 kB | linux-64/cryptominisat-5.8.0-py37haaa77d3_1.tar.bz2  3 years and 10 months ago 2258 main
conda 666.6 kB | linux-64/cryptominisat-5.8.0-py39hcf67cbd_1.tar.bz2  3 years and 10 months ago 3104 main
conda 585.2 kB | osx-64/cryptominisat-5.8.0-py36h4b31d39_0.tar.bz2  4 years and 5 months ago 206 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy