No Description
Uploaded | Sat Jan 29 13:45:39 2022 |
md5 checksum | bd8a1d4cc1ceb16849a6962d186e9ed8 |
arch | x86_64 |
build | h15f959b_0 |
depends | libboost >=1.73.0,<1.73.1.0a0, libcryptominisat 5.6.6 h425c57c_0, vc >=14.1,<15.0a0, vs2015_runtime >=14.16.27012,<15.0a0, zlib >=1.2.11,<1.3.0a0 |
license | MIT |
license_family | MIT |
md5 | bd8a1d4cc1ceb16849a6962d186e9ed8 |
name | cryptominisat |
platform | win |
sha256 | b0439aab7ac8ab42542b07b8d20eb72d0875ef57d6f276d4eda6f2160304ce89 |
size | 202910 |
source_url | http://repo.continuum.io/pkgs/main/win-64/cryptominisat-5.6.6-h15f959b_0.tar.bz2 |
subdir | win-64 |
timestamp | 1642768992668 |
version | 5.6.6 |