libcryptominisat
An advanced SAT Solver https://www.msoos.org
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-arm64/libcryptominisat-5.12.1-h86c5047_0.tar.bz2 | conda | 5.12.1 | osx-arm64 | main | Dec 2, 2025, 01:17 PM | 1.04 MB | 0 | |
linux-aarch64/libcryptominisat-5.12.1-h8d3042e_0.tar.bz2 | conda | 5.12.1 | linux-aarch64 | main | Dec 2, 2025, 01:17 PM | 10.17 MB | 0 | |
linux-64/libcryptominisat-5.12.1-he614b8d_0.tar.bz2 | conda | 5.12.1 | linux-64 | main | Dec 2, 2025, 01:17 PM | 10.31 MB | 5 | |
win-64/libcryptominisat-5.6.6-h5dfd299_0.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:59 AM | 439.02 KB | 4 | |
win-64/libcryptominisat-5.6.6-h5b6aea4_4.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:59 AM | 1.11 MB | 4 | |
win-64/libcryptominisat-5.6.6-h425c57c_3.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:59 AM | 410.33 KB | 3 | |
win-64/libcryptominisat-5.6.6-h425c57c_1.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:59 AM | 423.07 KB | 3 | |
win-64/libcryptominisat-5.6.6-h425c57c_2.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:59 AM | 414.54 KB | 3 | |
osx-arm64/libcryptominisat-5.6.6-h0ff2636_2.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:24 AM | 444.87 KB | 1 | |
osx-arm64/libcryptominisat-5.6.6-h3328e87_4.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:24 AM | 442.92 KB | 0 | |
osx-arm64/libcryptominisat-5.6.6-h0ff2636_3.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:24 AM | 439.8 KB | 1 | |
osx-arm64/libcryptominisat-5.6.6-h0ff2636_1.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:24 AM | 436.43 KB | 0 | |
linux-aarch64/libcryptominisat-5.6.6-hf763388_4.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:43 AM | 6.22 MB | 2 | |
linux-aarch64/libcryptominisat-5.6.6-h308e764_3.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:43 AM | 6.23 MB | 3 | |
linux-aarch64/libcryptominisat-5.6.6-h308e764_2.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:43 AM | 6.21 MB | 2 | |
linux-aarch64/libcryptominisat-5.6.6-h308e764_1.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:43 AM | 6.23 MB | 2 | |
linux-64/libcryptominisat-5.6.6-h9e868ea_3.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:36 AM | 6.41 MB | 4 | |
linux-64/libcryptominisat-5.6.6-h9e868ea_2.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:36 AM | 6.39 MB | 4 | |
linux-64/libcryptominisat-5.6.6-h9e868ea_1.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:36 AM | 6.39 MB | 4 | |
linux-64/libcryptominisat-5.6.6-h9014bb9_4.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:36 AM | 6.4 MB | 6 | |
linux-64/libcryptominisat-5.6.6-h0e08187_0.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:36 AM | 4.86 MB | 4 | |
osx-64/libcryptominisat-5.6.6-he919053_3.tar.bz2 | conda | 5.6.6 | osx-64 | main | Aug 30, 2023, 04:01 PM | 458.97 KB | 10 | |
linux-s390x/libcryptominisat-5.6.6-h6dbbe50_3.tar.bz2 | conda | 5.6.6 | linux-s390x | main | Aug 28, 2023, 11:16 PM | 6.24 MB | 6 | |
linux-ppc64le/libcryptominisat-5.6.6-hc4fb5eb_3.tar.bz2 | conda | 5.6.6 | linux-ppc64le | main | Aug 28, 2023, 11:16 PM | 6.38 MB | 5 | |
osx-64/libcryptominisat-5.6.6-he919053_2.tar.bz2 | conda | 5.6.6 | osx-64 | main | Mar 21, 2023, 01:20 PM | 468.52 KB | 11 |