Release detail
z3-solver 5.1.0.0
- Package: z3-solver
- Version: 5.1.0.0
- Upload date: 2026-08-16
- Requires Python: any
- Number of files: 10
Distributions
| Filename | Type | Python | Size (MB) |
|---|---|---|---|
| z3_solver-5.1.0.0.tar.gz | sdist | source | 5.468 |
| z3_solver-5.1.0.0-py3-none-pyemscripten_2026_0_wasm32.whl | bdist_wheel | py3 | 6.047 |
| z3_solver-5.1.0.0-py3-none-win32.whl | bdist_wheel | py3 | 13.989 |
| z3_solver-5.1.0.0-py3-none-win_arm64.whl | bdist_wheel | py3 | 15.936 |
| z3_solver-5.1.0.0-py3-none-win_amd64.whl | bdist_wheel | py3 | 17.040 |
Archive contents
Loading summary…
Loading treemap…