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 537.9 kB | osx-64/cryptominisat-5.0.2-py36_1.tar.bz2  8 years and 1 day ago 2746 main cf202003 cf201901
conda 527.6 kB | osx-64/cryptominisat-5.0.2-py27_1.tar.bz2  8 years and 1 day ago 2730 main cf202003 cf201901
conda 537.7 kB | osx-64/cryptominisat-5.0.2-py35_1.tar.bz2  8 years and 1 day ago 2826 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py35_1.tar.bz2  8 years and 1 day ago 8250 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py36_1.tar.bz2  8 years and 1 day ago 8500 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.0.2-py27_1.tar.bz2  8 years and 1 day ago 8378 main cf202003 cf201901
conda 537.9 kB | osx-64/cryptominisat-5.0.2-py36_0.tar.bz2  8 years and 1 month ago 2702 main cf202003 cf201901
conda 538.0 kB | osx-64/cryptominisat-5.0.2-py35_0.tar.bz2  8 years and 1 month ago 2785 main cf202003 cf201901
conda 528.6 kB | osx-64/cryptominisat-5.0.2-py27_0.tar.bz2  8 years and 1 month ago 2699 main cf202003 cf201901
conda 6.4 MB | linux-64/cryptominisat-5.0.2-py27_0.tar.bz2  8 years and 1 month ago 8221 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py35_0.tar.bz2  8 years and 1 month ago 8233 main cf202003 cf201901
conda 6.5 MB | linux-64/cryptominisat-5.0.2-py36_0.tar.bz2  8 years and 1 month ago 8299 main cf202003 cf201901
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy