×

No Description

Uploaded Tue Feb 21 12:48:59 2023
md5 checksum 30e0a1ce8abcec86b026b83db009e64e
arch x86_64
build h425c57c_1
build_number 1
depends vc >=14.1,<15.0a0, vs2015_runtime >=14.16.27012,<15.0a0, zlib >=1.2.13,<1.3.0a0
license MIT
license_family MIT
md5 30e0a1ce8abcec86b026b83db009e64e
name libcryptominisat
platform win
sha256 37e49c7eecf58c67100511c9d61762fefa90b058ce2e2613b62cb612ff510050
size 433221
source_url http://repo.continuum.io/pkgs/main/win-64/libcryptominisat-5.6.6-h425c57c_1.tar.bz2
subdir win-64
timestamp 1676726016138
version 5.6.6