×

No Description

Uploaded Tue Mar 21 13:22:19 2023
md5 checksum 81a185a3e20edf7b9833b6f34cbd2ade
arch x86_64
build h425c57c_2
build_number 2
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 81a185a3e20edf7b9833b6f34cbd2ade
name libcryptominisat
platform win
sha256 a5caa25356c7b68202d52cc6c1e747fb8cfe8d3260013f008c1dcd60b23b71b4
size 424487
source_url http://repo.continuum.io/pkgs/main/win-64/libcryptominisat-5.6.6-h425c57c_2.tar.bz2
subdir win-64
timestamp 1679313459783
version 5.6.6