About Anaconda Help Download Anaconda
Sign In
Anaconda.com
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

main / packages / libcryptominisat

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

Filters
Type Size Name Uploaded Downloads Labels
conda 1.1 MB | win-64/libcryptominisat-5.6.6-h5b6aea4_4.tar.bz2  8 days and 20 hours ago 5 main
conda 442.9 kB | osx-arm64/libcryptominisat-5.6.6-h3328e87_4.tar.bz2  8 days and 20 hours ago 2 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-hf763388_4.tar.bz2  8 days and 20 hours ago 2 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9014bb9_4.tar.bz2  8 days and 20 hours ago 8 main
conda 459.0 kB | osx-64/libcryptominisat-5.6.6-he919053_3.tar.bz2  1 year and 11 months ago 9 main
conda 439.8 kB | osx-arm64/libcryptominisat-5.6.6-h0ff2636_3.tar.bz2  1 year and 11 months ago 6 main
conda 410.3 kB | win-64/libcryptominisat-5.6.6-h425c57c_3.tar.bz2  2 years and 18 hours ago 15 main
conda 6.2 MB | linux-s390x/libcryptominisat-5.6.6-h6dbbe50_3.tar.bz2  2 years and 18 hours ago 5 main
conda 6.4 MB | linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_3.tar.bz2  2 years and 18 hours ago 5 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-h308e764_3.tar.bz2  2 years and 18 hours ago 5 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9e868ea_3.tar.bz2  2 years and 18 hours ago 39 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9e868ea_2.tar.bz2  2 years and 5 months ago 51 main
conda 414.5 kB | win-64/libcryptominisat-5.6.6-h425c57c_2.tar.bz2  2 years and 5 months ago 18 main
conda 444.9 kB | osx-arm64/libcryptominisat-5.6.6-h0ff2636_2.tar.bz2  2 years and 5 months ago 8 main
conda 468.5 kB | osx-64/libcryptominisat-5.6.6-he919053_2.tar.bz2  2 years and 5 months ago 10 main
conda 6.3 MB | linux-s390x/libcryptominisat-5.6.6-h6dbbe50_2.tar.bz2  2 years and 5 months ago 5 main
conda 6.4 MB | linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_2.tar.bz2  2 years and 5 months ago 5 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-h308e764_2.tar.bz2  2 years and 5 months ago 6 main
conda 423.1 kB | win-64/libcryptominisat-5.6.6-h425c57c_1.tar.bz2  2 years and 6 months ago 18 main
conda 436.4 kB | osx-arm64/libcryptominisat-5.6.6-h0ff2636_1.tar.bz2  2 years and 6 months ago 7 main
conda 466.6 kB | osx-64/libcryptominisat-5.6.6-he919053_1.tar.bz2  2 years and 6 months ago 10 main
conda 6.2 MB | linux-s390x/libcryptominisat-5.6.6-h6dbbe50_1.tar.bz2  2 years and 6 months ago 5 main
conda 6.4 MB | linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_1.tar.bz2  2 years and 6 months ago 5 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-h308e764_1.tar.bz2  2 years and 6 months ago 6 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9e868ea_1.tar.bz2  2 years and 6 months ago 51 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.1) Legal | Privacy Policy