×

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