z3-solver
The Z3 Theorem Prover
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 33
- Cadence
- ~30 days
- Last 12 months
- 6
Reach
- Downloads (recent)
- 119.3k
- Stars
- 12.6k
Details
- License
- MIT
- First release
- Jan 09, 2022
Releases
| Version | Released | |
|---|---|---|
5.2.0
minor
| ||
5.1.0
minor
| ||
5.0.0
major
| ||
4.16.0
minor
| ||
4.15.8
patch
| ||
4.15.4
patch
| ||
4.15.3
patch
| ||
4.15.2
patch
| ||
4.15.1
patch
| ||
4.15.0
minor
| ||
4.14.1
patch
| ||
4.14.0
minor
| ||
4.13.4
patch
| ||
4.13.3
patch
| ||
4.13.2
patch
| ||
4.13.0
minor
| ||
4.12.6
patch
| ||
4.12.5
patch
| ||
4.12.4
patch
| ||
4.12.3
patch
| ||
4.12.2
patch
| ||
4.12.1
patch
| ||
4.12.0
minor
| ||
4.11.2
patch
| ||
4.11.0
minor
| ||
4.10.2
patch
| ||
4.10.1
patch
| ||
4.10.0
minor
| ||
4.9.1
patch
| ||
4.9.0
minor
| ||
4.8.17
patch
| ||
4.8.16
initial
| ||
4.8.14-pre
pre
|