×

No Description

Uploaded Mon Oct 27 10:49:56 2025
md5 checksum 2b73738271e803f904e8020d3b73b356
arch x86_64
build py310hd8bbc79_2
build_number 2
depends libz3 ==4.15.3 h8150089_2, python, __osx >=10.13, libcxx >=19, llvm-openmp >=19.1.7, python_abi 3.10.* *_cp310, libz3 >=4.15.3,<5.0a0
license MIT
machine x86_64
operatingsystem darwin
platform osx
subdir osx-64
target-triplet x86_64-any-darwin
timestamp 1761551125495