z3-static
z3-static is a Python package that carries native Z3 development artifacts
for build systems. It does not provide Z3 Python bindings.
The wheel contains:
- Z3 C and C++ headers.
- A PIC static Z3 library (
libz3.aon Unix-like platforms,.libon Windows). - Z3 CMake package files under
z3_static/static/lib/cmake/z3. - Z3 pkg-config metadata when upstream install provides it.
Build systems can locate the package from Python:
import z3_static
print(z3_static.get_cmake_dir())
Or from a build script:
python -m z3_static.config --cmake-dir
For CMake projects, pass the reported directory to find_package:
find_package(Python COMPONENTS Interpreter REQUIRED)
execute_process(
COMMAND "${Python_EXECUTABLE}" -m z3_static.config --cmake-dir
OUTPUT_STRIP_TRAILING_WHITESPACE
OUTPUT_VARIABLE Z3_DIR
)
find_package(Z3 CONFIG REQUIRED)
Local Build
Build a wheel from an upstream Z3 tag:
STATICLIB_Z3_TAG=z3-4.16.0 \
STATICLIB_Z3_ALLOW_SOURCE_BUILD=1 \
python -m build --wheel
Use an existing Z3 checkout:
STATICLIB_Z3_TAG=z3-4.16.0 \
STATICLIB_Z3_SOURCE_DIR=/path/to/z3 \
STATICLIB_Z3_ALLOW_SOURCE_BUILD=1 \
python -m build --wheel
Source builds are opt-in to avoid accidental long Z3 builds on unsupported platforms when pip cannot find a matching prebuilt wheel.
1 maintainer
Metadata
1 maintainer
Release files for z3-static 4.16.0.post1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| z3_static-4.16.0.post1.tar.gz | 5.0 kB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_static-4.16.0.post1-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| z3_static-4.16.0.post1-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| z3_static-4.16.0.post1-py3-none-manylinux_2_28_aarch64.whl | Python 3 | none | Linux glibc 2.28+ ARM64 | Details |
| z3_static-4.16.0.post1-py3-none-macosx_11_0_arm64.whl | Python 3 | none | macOS 11.0+ ARM64 | Details |
| z3_static-4.16.0.post1-py3-none-macosx_10_9_x86_64.whl | Python 3 | none | macOS 10.9+ x86-64 | Details |
Total release size: 147.1 MB
Release files / z3_static-4.16.0.post1.tar.gz
| Download URL | z3_static-4.16.0.post1.tar.gz |
|---|---|
| Size | 5.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
b9b7b7df5d41b887ce9f863750e32242d6601fa499cd0cb080dc94f182523e66
|
|
BLAKE2b-256 checksum How to use checksums |
addbc42ca3ca871af54bef861149a1790f2116eb270e486bf30b0960c488fbdb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 16, 2026.
Transparency logRelease files / z3_static-4.16.0.post1-py3-none-win_amd64.whl
| Download URL | z3_static-4.16.0.post1-py3-none-win_amd64.whl |
|---|---|
| Size | 66.7 MB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
b29bdcdce3335f388a6e4b05ef414f150b952a66c1da82cda903f15521da8d59
|
|
BLAKE2b-256 checksum How to use checksums |
f08c28b30a7308ca41c3dfbef78ed15dd7f124e84d7facf4a13b1720f3395c30
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 16, 2026.
Transparency logRelease files / z3_static-4.16.0.post1-py3-none-manylinux_2_28_x86_64.whl
| Download URL | z3_static-4.16.0.post1-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 22.1 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
938c42daa1fec9c5673b9065d1c361ab427e82cc0245eca3a98ad74670d54d71
|
|
BLAKE2b-256 checksum How to use checksums |
cff3a91a7a49503abec55eda9857d11615d5d49acca1247a225e1cfee5fb4850
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 16, 2026.
Transparency logRelease files / z3_static-4.16.0.post1-py3-none-manylinux_2_28_aarch64.whl
| Download URL | z3_static-4.16.0.post1-py3-none-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 22.1 MB |
| Tags | Linux glibc 2.28+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
77e0632c44ddd15dcbb174442e4565204627aed70f6c39008b8ed3c8b6807306
|
|
BLAKE2b-256 checksum How to use checksums |
926fbccaa4a740d53767bb54dd84eb8d1a3e03a307672966c320fd8cf8a6dfac
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 16, 2026.
Transparency logRelease files / z3_static-4.16.0.post1-py3-none-macosx_11_0_arm64.whl
| Download URL | z3_static-4.16.0.post1-py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 17.6 MB |
| Tags | Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
bba4bce72c45350057a23f547054a641cb0885982fae78e52ad3769d8f69264d
|
|
BLAKE2b-256 checksum How to use checksums |
0c3a5f9dcab122464f1cd9b42e8bfe44877e4f1c535d4f5298e71489b6962715
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 16, 2026.
Transparency logRelease files / z3_static-4.16.0.post1-py3-none-macosx_10_9_x86_64.whl
| Download URL | z3_static-4.16.0.post1-py3-none-macosx_10_9_x86_64.whl |
|---|---|
| Size | 18.5 MB |
| Tags | Python 3 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
c7d3e0ef482c48c4c5a5f3fd7a3d0efb1ad1c6f98894e362a34f4ec6025b075e
|
|
BLAKE2b-256 checksum How to use checksums |
603bddd3d5f878a9ab1ac6913be9bed137ce55782e148e511e3b3dd07d90ef7f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 16, 2026.
Transparency log
