×

No Description

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