About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

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 528.6 kB | osx-64/cryptominisat-5.0.2-py27_0.tar.bz2  6 years and 10 months ago 377 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.0.2-py27_0.tar.bz2  6 years and 10 months ago 4809 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py35_0.tar.bz2  6 years and 10 months ago 4898 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py36_0.tar.bz2  6 years and 10 months ago 4980 main cf202003 cf201901
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy