Unofficial Z3 Builds

This repository holds build artifacts for Z3 to support z3-TurnKey. The artifacts are built from the official Z3 sources using our internal infrastructure, so we only ship the build results here.

Artifact List

• Z3 4.8.17 for MacOS on AArch64
• Z3 4.8.16 for MacOS on AArch64
• Z3 4.8.15 for MacOS on AArch64