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 462.2 kB | win-64/cryptominisat-5.6.6-h60dcfdc_4.tar.bz2  1 day and 3 hours ago 0 main
conda 113.5 kB | win-64/cryptominisat-5.6.6-h4062798_0.tar.bz2  1 day and 3 hours ago 0 main
conda 170.3 kB | win-64/cryptominisat-5.6.6-h228fd0b_3.tar.bz2  1 day and 3 hours ago 0 main
conda 199.0 kB | win-64/cryptominisat-5.6.6-h15f959b_1.tar.bz2  1 day and 3 hours ago 0 main
conda 198.8 kB | win-64/cryptominisat-5.6.6-h15f959b_2.tar.bz2  1 day and 3 hours ago 0 main
conda 198.2 kB | win-64/cryptominisat-5.6.6-h15f959b_0.tar.bz2  1 day and 3 hours ago 0 main
conda 107.0 kB | osx-arm64/cryptominisat-5.6.6-hec200a7_4.tar.bz2  1 day and 3 hours ago 0 main
conda 106.7 kB | osx-arm64/cryptominisat-5.6.6-h9486ba6_2.tar.bz2  1 day and 3 hours ago 0 main
conda 106.5 kB | osx-arm64/cryptominisat-5.6.6-h9486ba6_1.tar.bz2  1 day and 3 hours ago 0 main
conda 106.8 kB | osx-arm64/cryptominisat-5.6.6-h0ff2636_3.tar.bz2  1 day and 3 hours ago 0 main
conda 109.0 kB | osx-arm64/cryptominisat-5.6.6-h34beafc_0.tar.bz2  1 day and 3 hours ago 0 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h775c707_2.tar.bz2  1 day and 4 hours ago 0 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h879a6b1_0.tar.bz2  1 day and 4 hours ago 0 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h775c707_1.tar.bz2  1 day and 4 hours ago 0 main
conda 956.3 kB | linux-aarch64/cryptominisat-5.6.6-h308e764_4.tar.bz2  1 day and 4 hours ago 0 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h308e764_3.tar.bz2  1 day and 4 hours ago 0 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-hfbc36fb_2.tar.bz2  1 day and 6 hours ago 0 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-hfbc36fb_1.tar.bz2  1 day and 6 hours ago 0 main
conda 978.4 kB | linux-64/cryptominisat-5.6.6-hddd47a0_4.tar.bz2  1 day and 6 hours ago 0 main
conda 847.7 kB | linux-64/cryptominisat-5.6.6-hc2b5a8e_0.tar.bz2  1 day and 6 hours ago 0 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-h9e868ea_3.tar.bz2  1 day and 6 hours ago 0 main
conda 857.1 kB | linux-64/cryptominisat-5.6.6-h5d072ba_0.tar.bz2  1 day and 6 hours ago 0 main
conda 106.3 kB | osx-64/cryptominisat-5.6.6-he919053_3.tar.bz2  2 years and 12 days ago 11 main
conda 1.1 MB | linux-s390x/cryptominisat-5.6.6-h6dbbe50_3.tar.bz2  2 years and 14 days ago 5 main
conda 1.1 MB | linux-ppc64le/cryptominisat-5.6.6-hc4fb5eb_3.tar.bz2  2 years and 14 days ago 5 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy