Package search
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
- Number of releases: 42
- First release: 4.4.2.1 on 2016-10-11T07:28:52
- Latest release: 4.15.0.0 on 2025-05-10T01:15:21
| Dependency | Optional |
|---|---|
| importlib-resources | false |