×

No Description

Uploaded Mon Sep 8 15:23:24 2025
md5 checksum c4023bb3547632aaa9f2996dc79f158e
arch x86_64
build h60dcfdc_4
build_number 4
depends libboost >=1.88.0,<1.88.1.0a0, libcryptominisat 5.6.6 h5b6aea4_4, ucrt >=10.0.20348.0, vc >=14.2,<15, vc14_runtime >=14.29.30133, zlib >=1.2.13,<1.3.0a0
license MIT
license_family MIT
machine x86_64
operatingsystem win32
platform win
subdir win-64
target-triplet x86_64-any-win32
timestamp 1757160150779