About Anaconda Help Download Anaconda
Sign In
Anaconda.com

main / packages / cryptominisat

An advanced SAT Solver https://www.msoos.org

Filters
Type Size Name Uploaded Downloads Labels
conda 11.0 kB | osx-arm64/cryptominisat-5.12.1-h73d1ac6_0.tar.bz2  2 months and 1 day ago 0 main
conda 10.9 kB | linux-aarch64/cryptominisat-5.12.1-hfdfb486_0.tar.bz2  2 months and 1 day ago 0 main
conda 11.0 kB | linux-64/cryptominisat-5.12.1-h145fda9_0.tar.bz2  2 months and 1 day ago 5 main
conda 462.2 kB | win-64/cryptominisat-5.6.6-h60dcfdc_4.tar.bz2  4 months and 23 days ago 4 main
conda 113.5 kB | win-64/cryptominisat-5.6.6-h4062798_0.tar.bz2  4 months and 23 days ago 2 main
conda 170.3 kB | win-64/cryptominisat-5.6.6-h228fd0b_3.tar.bz2  4 months and 23 days ago 2 main
conda 199.0 kB | win-64/cryptominisat-5.6.6-h15f959b_1.tar.bz2  4 months and 23 days ago 3 main
conda 198.8 kB | win-64/cryptominisat-5.6.6-h15f959b_2.tar.bz2  4 months and 23 days ago 2 main
conda 198.2 kB | win-64/cryptominisat-5.6.6-h15f959b_0.tar.bz2  4 months and 23 days ago 4 main
conda 107.0 kB | osx-arm64/cryptominisat-5.6.6-hec200a7_4.tar.bz2  4 months and 23 days ago 2 main
conda 106.7 kB | osx-arm64/cryptominisat-5.6.6-h9486ba6_2.tar.bz2  4 months and 23 days ago 1 main
conda 106.5 kB | osx-arm64/cryptominisat-5.6.6-h9486ba6_1.tar.bz2  4 months and 23 days ago 0 main
conda 106.8 kB | osx-arm64/cryptominisat-5.6.6-h0ff2636_3.tar.bz2  4 months and 23 days ago 1 main
conda 109.0 kB | osx-arm64/cryptominisat-5.6.6-h34beafc_0.tar.bz2  4 months and 23 days ago 1 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h775c707_2.tar.bz2  4 months and 23 days ago 3 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h879a6b1_0.tar.bz2  4 months and 23 days ago 2 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h775c707_1.tar.bz2  4 months and 23 days ago 2 main
conda 956.3 kB | linux-aarch64/cryptominisat-5.6.6-h308e764_4.tar.bz2  4 months and 23 days ago 3 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h308e764_3.tar.bz2  4 months and 23 days ago 4 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-hfbc36fb_2.tar.bz2  4 months and 23 days ago 3 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-hfbc36fb_1.tar.bz2  4 months and 23 days ago 4 main
conda 978.4 kB | linux-64/cryptominisat-5.6.6-hddd47a0_4.tar.bz2  4 months and 23 days ago 6 main
conda 847.7 kB | linux-64/cryptominisat-5.6.6-hc2b5a8e_0.tar.bz2  4 months and 23 days ago 4 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-h9e868ea_3.tar.bz2  4 months and 23 days ago 4 main
conda 857.1 kB | linux-64/cryptominisat-5.6.6-h5d072ba_0.tar.bz2  4 months and 23 days ago 3 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy