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 554.0 kB | osx-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2  7 years and 1 month ago 380 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py36he941832_0.tar.bz2  7 years and 1 month ago 5328 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2  7 years and 1 month ago 383 main cf202003 cf201901
conda 554.0 kB | osx-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2  7 years and 1 month ago 371 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py35he941832_0.tar.bz2  7 years and 1 month ago 5167 main cf202003 cf201901
conda 6.3 MB | linux-64/cryptominisat-5.6.4-py27he941832_0.tar.bz2  7 years and 1 month ago 5087 main cf202003 cf201901
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy