No Description
| Uploaded | Thu Dec 12 18:17:36 2019 |
| md5 checksum | a9a3a0bf36c9d516b0468f33b3351958 |
| arch | x86 |
| build | h4062798_0 |
| depends | libboost >=1.67.0,<1.67.1.0a0, libcryptominisat 5.6.6 h5dfd299_0, vc >=14.1,<15.0a0, zlib >=1.2.11,<1.3.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | a9a3a0bf36c9d516b0468f33b3351958 |
| name | cryptominisat |
| platform | win |
| sha256 | 475a2755c03ff1bc9327898e8857b3fcf2eedb7557db2bbb33de3859c8d2a931 |
| size | 103407 |
| source_url | http://repo.continuum.io/pkgs/main/win-32/cryptominisat-5.6.6-h4062798_0.tar.bz2 |
| subdir | win-32 |
| timestamp | 1548447344762 |
| version | 5.6.6 |