libcryptominisat
An advanced SAT Solver https://www.msoos.org
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
win-64/libcryptominisat-5.6.6-h5b6aea4_4.tar.bz2 | conda | 5.6.6 | win-64 | py314 | Sep 8, 2025, 05:25 PM | 1.09 MB | 1 | |
linux-aarch64/libcryptominisat-5.6.6-hb079382_4.tar.bz2 | conda | 5.6.6 | linux-aarch64 | py314 | Sep 8, 2025, 04:57 PM | 6.24 MB | 1 | |
linux-aarch64/libcryptominisat-5.6.6-h70bf28d_4.tar.bz2 | conda | 5.6.6 | linux-aarch64 | py314 | Sep 8, 2025, 04:57 PM | 6.23 MB | 1 | |
linux-aarch64/libcryptominisat-5.6.6-hb079382_4.conda | conda | 5.6.6 | linux-aarch64 | py314 | Sep 8, 2025, 03:51 PM | 4.81 MB | 0 | |
linux-aarch64/libcryptominisat-5.6.6-h70bf28d_4.conda | conda | 5.6.6 | linux-aarch64 | py314 | Sep 8, 2025, 03:51 PM | 4.77 MB | 1 | |
win-64/libcryptominisat-5.6.6-h5b6aea4_4.conda | conda | 5.6.6 | win-64 | py314 | Sep 8, 2025, 03:27 PM | 763.28 KB | 1 | |
osx-arm64/libcryptominisat-5.6.6-h4cd6a25_4.tar.bz2 | conda | 5.6.6 | osx-arm64 | py314 | Sep 8, 2025, 02:46 PM | 447.31 KB | 1 | |
osx-arm64/libcryptominisat-5.6.6-h4cd6a25_4.conda | conda | 5.6.6 | osx-arm64 | py314 | Sep 8, 2025, 02:46 PM | 394.78 KB | 1 |