About Anaconda Help Download Anaconda

main / packages / cryptominisat

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

Type Size Name Uploaded Downloads Labels
conda 462.2 kB | win-64/cryptominisat-5.6.6-h60dcfdc_4.tar.bz2  10 days and 9 hours ago 4 main
conda 107.0 kB | osx-arm64/cryptominisat-5.6.6-hec200a7_4.tar.bz2  10 days and 9 hours ago 1 main
conda 956.3 kB | linux-aarch64/cryptominisat-5.6.6-h308e764_4.tar.bz2  10 days and 9 hours ago 1 main
conda 978.4 kB | linux-64/cryptominisat-5.6.6-hddd47a0_4.tar.bz2  10 days and 9 hours ago 7 main
conda 106.3 kB | osx-64/cryptominisat-5.6.6-he919053_3.tar.bz2  2 years and 14 hours ago 10 main
conda 106.8 kB | osx-arm64/cryptominisat-5.6.6-h0ff2636_3.tar.bz2  2 years and 15 hours ago 6 main
conda 170.3 kB | win-64/cryptominisat-5.6.6-h228fd0b_3.tar.bz2  2 years and 2 days ago 15 main
conda 1.1 MB | linux-s390x/cryptominisat-5.6.6-h6dbbe50_3.tar.bz2  2 years and 2 days ago 5 main
conda 1.1 MB | linux-ppc64le/cryptominisat-5.6.6-hc4fb5eb_3.tar.bz2  2 years and 2 days ago 5 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h308e764_3.tar.bz2  2 years and 2 days ago 5 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-h9e868ea_3.tar.bz2  2 years and 2 days ago 41 main
conda 1.1 MB | linux-s390x/cryptominisat-5.6.6-h010bc1a_2.tar.bz2  2 years and 5 months ago 5 main
conda 198.8 kB | win-64/cryptominisat-5.6.6-h15f959b_2.tar.bz2  2 years and 5 months ago 19 main
conda 106.7 kB | osx-arm64/cryptominisat-5.6.6-h9486ba6_2.tar.bz2  2 years and 5 months ago 7 main
conda 106.0 kB | osx-64/cryptominisat-5.6.6-h2277d59_2.tar.bz2  2 years and 5 months ago 11 main
conda 1.1 MB | linux-ppc64le/cryptominisat-5.6.6-hbfed935_2.tar.bz2  2 years and 5 months ago 5 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h775c707_2.tar.bz2  2 years and 5 months ago 6 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-hfbc36fb_2.tar.bz2  2 years and 5 months ago 57 main
conda 199.0 kB | win-64/cryptominisat-5.6.6-h15f959b_1.tar.bz2  2 years and 6 months ago 19 main
conda 106.5 kB | osx-arm64/cryptominisat-5.6.6-h9486ba6_1.tar.bz2  2 years and 6 months ago 7 main
conda 106.0 kB | osx-64/cryptominisat-5.6.6-h2277d59_1.tar.bz2  2 years and 6 months ago 11 main
conda 1.1 MB | linux-s390x/cryptominisat-5.6.6-h010bc1a_1.tar.bz2  2 years and 6 months ago 5 main
conda 1.1 MB | linux-ppc64le/cryptominisat-5.6.6-hbfed935_1.tar.bz2  2 years and 6 months ago 5 main
conda 1.1 MB | linux-aarch64/cryptominisat-5.6.6-h775c707_1.tar.bz2  2 years and 6 months ago 6 main
conda 1.1 MB | linux-64/cryptominisat-5.6.6-hfbc36fb_1.tar.bz2  2 years and 6 months ago 58 main

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.1) Legal | Privacy Policy