cryptominisat
An advanced SAT Solver https://www.msoos.org
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-64/cryptominisat-5.6.6-hfbc36fb_2.conda | conda | 5.6.6 | linux-64 | main | Mar 31, 2025, 09:12 PM | 1 MB | 0 | |
linux-64/cryptominisat-5.6.6-hfbc36fb_1.conda | conda | 5.6.6 | linux-64 | main | Mar 31, 2025, 09:12 PM | 1 MB | 0 | |
linux-64/cryptominisat-5.6.6-hc2b5a8e_0.conda | conda | 5.6.6 | linux-64 | main | Mar 31, 2025, 09:12 PM | 702.16 KB | 0 | |
linux-64/cryptominisat-5.6.6-h9e868ea_3.conda | conda | 5.6.6 | linux-64 | main | Mar 31, 2025, 09:12 PM | 1016.25 KB | 0 | |
linux-64/cryptominisat-5.6.6-h5d072ba_0.conda | conda | 5.6.6 | linux-64 | main | Mar 31, 2025, 09:12 PM | 711.55 KB | 0 |