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  5 years and 1 month ago 213 main
conda 585.5 kB | osx-64/cryptominisat-5.8.0-py38hafef7a7_0.tar.bz2  5 years and 1 month ago 265 main
conda 586.2 kB | osx-64/cryptominisat-5.8.0-py39hdf0219e_0.tar.bz2  5 years and 1 month ago 235 main
conda 668.2 kB | linux-64/cryptominisat-5.8.0-py38h0750f31_0.tar.bz2  5 years and 1 month ago 3375 main
conda 666.8 kB | linux-64/cryptominisat-5.8.0-py39hcf67cbd_0.tar.bz2  5 years and 1 month ago 3806 main
conda 678.4 kB | linux-64/cryptominisat-5.8.0-py37haaa77d3_0.tar.bz2  5 years and 1 month ago 3102 main
conda 678.2 kB | linux-64/cryptominisat-5.8.0-py36h108b1b2_0.tar.bz2  5 years and 1 month ago 3170 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy