An advanced SAT Solver https://www.msoos.org
| Uploaded | Mon Mar 31 21:12:18 2025 |
| md5 checksum | 583daec186453cf1f769637e03483121 |
| arch | x86_64 |
| build | hc2b5a8e_0 |
| depends | libboost >=1.73.0,<1.73.1.0a0, libcryptominisat 5.6.6 hc0fe6c6_0, libgcc-ng >=7.3.0, libstdcxx-ng >=7.3.0, zlib >=1.2.11,<1.3.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | 583daec186453cf1f769637e03483121 |
| name | cryptominisat |
| platform | linux |
| sha1 | 9b45c0477b79e2670c50ccfd7909c63161d57c29 |
| sha256 | 6b3f88af31911309fe9b8b2ee769ef41781435aa20d9943cb685a968e01f5c9d |
| size | 719009 |
| subdir | linux-64 |
| timestamp | 1611760375913 |
| version | 5.6.6 |