Package profile
z3-solver
- Summary: an efficient SMT solver library
- Author: The Z3 Theorem Prover Project
- Homepage: https://github.com/Z3Prover/z3
- Source: https://github.com/Z3Prover/z3 (Repo profile)
- Number of releases: 43
- First release: 4.4.2.1 on 2016-10-11
- Latest release: 4.15.1.0 on 2025-06-08
Releases
PyPI Downloads
Dependencies
Z3-solver has one dependency (non-optional).| Dependency | Optional |
|---|---|
| importlib-resources | false |