×

No Description

Uploaded Fri Apr 3 12:39:26 2026
md5 checksum 998a2dc3248549583ae17f2a9f3ffe16
arch x86_64
build h45862e5_0
depends libpapilo-static ==3.0.0 ha0a2438_0, libboost-devel ==1.88.0 h1c1089f_7, vc >=14.3,<15, vc14_runtime >=14.44.35208, ucrt >=10.0.20348.0, libzlib >=1.3.2,<2.0a0, gmp >=6.3.0,<7.0a0, libboost >=1.88.0,<1.89.0a0, mpfr >=4.2.2,<5.0a0
license Apache-2.0 AND LGPL-3.0-or-later AND EPL-1.0 and MIT and Zlib and BSL-1.0 and HPND
machine x86_64
operatingsystem win32
platform win
subdir win-64
target-triplet x86_64-any-win32
timestamp 1775217821023