×

No Description

Uploaded Thu Jul 24 08:25:40 2025
md5 checksum 7ff0e45372bca0a0ffbd6cbc6b0d3fb0
arch x86_64
build h6de63ae_1
build_number 1
depends gmp >=6.3.0,<7.0a0, libboost >=1.88.0,<1.89.0a0, scip >=9.2.3,<10.0a0, ucrt >=10.0.20348.0, vc >=14.3,<15, vc14_runtime >=14.44.35208
license Apache-2.0 AND LGPL-3.0-or-later
machine x86_64
operatingsystem win32
platform win
subdir win-64
target-triplet x86_64-any-win32
timestamp 1753345091194