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 599.1 kB | osx-64/cryptominisat-5.8.0-py37hb8dddd4_0.tar.bz2  4 years and 11 months ago 212 main
conda 585.5 kB | osx-64/cryptominisat-5.8.0-py38hafef7a7_0.tar.bz2  4 years and 11 months ago 264 main
conda 586.2 kB | osx-64/cryptominisat-5.8.0-py39hdf0219e_0.tar.bz2  4 years and 11 months ago 234 main
conda 668.2 kB | linux-64/cryptominisat-5.8.0-py38h0750f31_0.tar.bz2  4 years and 11 months ago 3268 main
conda 666.8 kB | linux-64/cryptominisat-5.8.0-py39hcf67cbd_0.tar.bz2  4 years and 11 months ago 3691 main
conda 678.4 kB | linux-64/cryptominisat-5.8.0-py37haaa77d3_0.tar.bz2  4 years and 11 months ago 2998 main
conda 678.2 kB | linux-64/cryptominisat-5.8.0-py36h108b1b2_0.tar.bz2  4 years and 11 months ago 3046 main
conda 575.6 kB | osx-64/cryptominisat-5.6.8-py39h902a95f_4.tar.bz2  5 years and 5 months ago 317 main
conda 567.2 kB | osx-64/cryptominisat-5.6.8-py37h4982200_4.tar.bz2  5 years and 5 months ago 305 main
conda 581.7 kB | osx-64/cryptominisat-5.6.8-py36hd3a544c_4.tar.bz2  5 years and 5 months ago 320 main
conda 570.4 kB | osx-64/cryptominisat-5.6.8-py39h29ac329_4.tar.bz2  5 years and 5 months ago 304 main
conda 588.1 kB | osx-64/cryptominisat-5.6.8-py36h695bc63_4.tar.bz2  5 years and 5 months ago 315 main
conda 576.1 kB | osx-64/cryptominisat-5.6.8-py37h0033c41_4.tar.bz2  5 years and 5 months ago 318 main
conda 570.9 kB | osx-64/cryptominisat-5.6.8-py38h26a761f_4.tar.bz2  5 years and 5 months ago 898 main
conda 576.5 kB | osx-64/cryptominisat-5.6.8-py38h1d70264_4.tar.bz2  5 years and 5 months ago 314 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py38h5e74f7f_4.tar.bz2  5 years and 5 months ago 3296 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py37h65bae40_4.tar.bz2  5 years and 5 months ago 3303 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py39h3bb5f65_4.tar.bz2  5 years and 5 months ago 3876 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py39h676fd8f_4.tar.bz2  5 years and 5 months ago 3914 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py37h9cd63b4_4.tar.bz2  5 years and 5 months ago 3358 main
conda 5.8 MB | linux-64/cryptominisat-5.6.8-py38he3216b4_4.tar.bz2  5 years and 5 months ago 3692 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py36h3734d64_4.tar.bz2  5 years and 5 months ago 3348 main
conda 5.9 MB | linux-64/cryptominisat-5.6.8-py36h87d53cf_4.tar.bz2  5 years and 5 months ago 3358 main
conda 570.8 kB | osx-64/cryptominisat-5.6.8-py37h4982200_3.tar.bz2  5 years and 6 months ago 364 main
conda 582.0 kB | osx-64/cryptominisat-5.6.8-py36hd3a544c_3.tar.bz2  5 years and 6 months ago 350 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy