About Anaconda Help Download Anaconda
Sign In
Anaconda.com

anaconda / 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  11 days and 5 hours ago 3 main
conda 442.9 kB | osx-arm64/libcryptominisat-5.6.6-h3328e87_4.tar.bz2  11 days and 5 hours ago 2 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-hf763388_4.tar.bz2  11 days and 5 hours ago 3 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9014bb9_4.tar.bz2  11 days and 5 hours ago 5 main
conda 459.0 kB | osx-64/libcryptominisat-5.6.6-he919053_3.tar.bz2  2 years and 1 day ago 13 main
conda 439.8 kB | osx-arm64/libcryptominisat-5.6.6-h0ff2636_3.tar.bz2  2 years and 1 day ago 11 main
conda 410.3 kB | win-64/libcryptominisat-5.6.6-h425c57c_3.tar.bz2  2 years and 3 days ago 21 main
conda 6.2 MB | linux-s390x/libcryptominisat-5.6.6-h6dbbe50_3.tar.bz2  2 years and 3 days ago 10 main
conda 6.4 MB | linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_3.tar.bz2  2 years and 3 days ago 6 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-h308e764_3.tar.bz2  2 years and 3 days ago 10 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9e868ea_3.tar.bz2  2 years and 3 days ago 90 main
conda 414.5 kB | win-64/libcryptominisat-5.6.6-h425c57c_2.tar.bz2  2 years and 5 months ago 22 main
conda 444.9 kB | osx-arm64/libcryptominisat-5.6.6-h0ff2636_2.tar.bz2  2 years and 5 months ago 11 main
conda 468.5 kB | osx-64/libcryptominisat-5.6.6-he919053_2.tar.bz2  2 years and 5 months ago 12 main
conda 6.3 MB | linux-s390x/libcryptominisat-5.6.6-h6dbbe50_2.tar.bz2  2 years and 5 months ago 8 main
conda 6.4 MB | linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_2.tar.bz2  2 years and 5 months ago 6 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-h308e764_2.tar.bz2  2 years and 5 months ago 10 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9e868ea_2.tar.bz2  2 years and 5 months ago 38 main
conda 423.1 kB | win-64/libcryptominisat-5.6.6-h425c57c_1.tar.bz2  2 years and 6 months ago 19 main
conda 436.4 kB | osx-arm64/libcryptominisat-5.6.6-h0ff2636_1.tar.bz2  2 years and 6 months ago 11 main
conda 466.6 kB | osx-64/libcryptominisat-5.6.6-he919053_1.tar.bz2  2 years and 6 months ago 11 main
conda 6.2 MB | linux-s390x/libcryptominisat-5.6.6-h6dbbe50_1.tar.bz2  2 years and 6 months ago 8 main
conda 6.4 MB | linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_1.tar.bz2  2 years and 6 months ago 6 main
conda 6.2 MB | linux-aarch64/libcryptominisat-5.6.6-h308e764_1.tar.bz2  2 years and 6 months ago 11 main
conda 6.4 MB | linux-64/libcryptominisat-5.6.6-h9e868ea_1.tar.bz2  2 years and 6 months ago 43 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.1) Legal | Privacy Policy