×

No Description

Uploaded Wed Dec 17 09:55:14 2025
md5 checksum 49155b8d5e09997f5fd22c5f909e9b5d
arch x86_64
build py312h26642aa_2
build_number 2
depends libz3 ==4.15.4 h56f2b75_2, python, llvm-openmp >=21.1.7, vc >=14.3,<15, vc14_runtime >=14.44.35208, ucrt >=10.0.20348.0, python_abi 3.12.* *_cp312, libz3 >=4.15.4,<5.0a0
license MIT
machine x86_64
operatingsystem win32
platform win
subdir win-64
target-triplet x86_64-any-win32
timestamp 1765962629892