×

No Description

Uploaded Fri Feb 13 05:54:24 2026
md5 checksum 59e78237dceffb1d09ff35084fb281f4
arch arm64
build h63771dc_0
depends libz3 ==4.15.8 h5722624_0, python >=3.10, llvm-openmp >=19.1.7, libcxx >=19, __osx >=11.0, libz3 >=4.15.8,<5.0a0
license MIT
machine arm64
noarch python
operatingsystem darwin
platform osx
subdir osx-arm64
target-triplet arm64-any-darwin
timestamp 1770960944569