No Description
| Uploaded | Thu Sep 11 03:53:36 2025 |
| md5 checksum | 9f133552def4939eb7dcfff2c62ef603 |
| arch | x86_64 |
| build | h60dcfdc_4 |
| build_number | 4 |
| depends | libboost >=1.88.0,<1.88.1.0a0, libcryptominisat 5.6.6 h5b6aea4_4, ucrt >=10.0.20348.0, vc >=14.2,<15, vc14_runtime >=14.29.30133, zlib >=1.2.13,<2.0.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | 9f133552def4939eb7dcfff2c62ef603 |
| name | cryptominisat |
| platform | win |
| sha256 | b1e1dc1b4527f46290f5356a82a7a1dfae5b3c228d424cdc1102430668c88fb0 |
| size | 473317 |
| source_url | http://repo.continuum.io/pkgs/main/win-64/cryptominisat-5.6.6-h60dcfdc_4.tar.bz2 |
| subdir | win-64 |
| timestamp | 1755638559805 |
| version | 5.6.6 |