cryptominisat
An advanced SAT Solver https://www.msoos.org
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
win-64/cryptominisat-5.6.6-h60dcfdc_4.tar.bz2 | conda | 5.6.6 | win-64 | py314 | Sep 8, 2025, 05:21 PM | 452.06 KB | 2 | |
linux-aarch64/cryptominisat-5.6.6-hacaa9b1_4.tar.bz2 | conda | 5.6.6 | linux-aarch64 | py314 | Sep 8, 2025, 04:52 PM | 959.79 KB | 1 | |
linux-64/cryptominisat-5.6.6-h8ffd1c4_4.tar.bz2 | conda | 5.6.6 | linux-64 | py314 | Sep 8, 2025, 04:25 PM | 983.86 KB | 1 | |
linux-64/cryptominisat-5.6.6-h8ffd1c4_4.conda | conda | 5.6.6 | linux-64 | py314 | Sep 8, 2025, 04:25 PM | 773.67 KB | 1 | |
linux-aarch64/cryptominisat-5.6.6-hacaa9b1_4.conda | conda | 5.6.6 | linux-aarch64 | py314 | Sep 8, 2025, 03:46 PM | 757.38 KB | 1 | |
win-64/cryptominisat-5.6.6-h60dcfdc_4.conda | conda | 5.6.6 | win-64 | py314 | Sep 8, 2025, 03:23 PM | 386.17 KB | 1 | |
osx-arm64/cryptominisat-5.6.6-ha31824d_4.tar.bz2 | conda | 5.6.6 | osx-arm64 | py314 | Sep 8, 2025, 02:37 PM | 105.73 KB | 1 | |
osx-arm64/cryptominisat-5.6.6-ha31824d_4.conda | conda | 5.6.6 | osx-arm64 | py314 | Sep 8, 2025, 02:37 PM | 88.2 KB | 1 |