About Anaconda Help Download Anaconda
Sign In
Anaconda.com

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  3 days and 1 hour ago 2 main
conda 442.9 kB | osx-arm64/libcryptominisat-5.6.6-h3328e87_4.tar.bz2  3 days and 1 hour ago 0 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-hf763388_4.tar.bz2  3 days and 1 hour ago 0 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9014bb9_4.tar.bz2  3 days and 1 hour ago 5 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  1 year and 11 months ago 15 main
conda 6.2 MB | linux-s390x/libcryptominisat-5.6.6-h6dbbe50_3.tar.bz2  1 year and 11 months ago 5 main
conda 6.4 MB | linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_3.tar.bz2  1 year and 11 months ago 5 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-h308e764_3.tar.bz2  1 year and 11 months ago 5 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9e868ea_3.tar.bz2  1 year and 11 months 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.0) Legal | Privacy Policy