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 6.0 MB | linux-64/cryptominisat-5.6.8-py27ha0ae72f_0.tar.bz2  5 years and 10 months ago 3897 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py36ha0ae72f_0.tar.bz2  5 years and 10 months ago 4018 main cf202003
conda 6.0 MB | linux-64/cryptominisat-5.6.8-py37ha0ae72f_0.tar.bz2  5 years and 10 months ago 3972 main cf202003
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy