z3
High-level rust bindings for the Z3 SMT solver from Microsoft Research
Activity
- Latest release
- 2w ago
- Total releases
- 56
- Cadence
- ~5 days
- Last 12 months
- 18
Details
- License
- MIT
- First release
- Dec 28, 2015
Releases
| Version | Released | |
|---|---|---|
0.21.0
minor
| ||
0.20.2
unknown
| ||
0.20.1
unknown
| ||
0.20.0
unknown
| ||
0.19.15
unknown
| ||
0.19.14
unknown
| ||
0.19.13
unknown
| ||
0.19.12
unknown
| ||
0.19.11
unknown
| ||
0.19.10
unknown
| ||
0.19.9
unknown
| ||
0.19.8
unknown
| ||
0.19.7
unknown
| ||
0.19.6
unknown
| ||
0.19.5
unknown
| ||
0.19.4
unknown
| ||
0.19.3
unknown
| ||
0.19.2
unknown
| ||
0.19.1
unknown
| ||
0.19.0
unknown
| ||
0.18.2
unknown
| ||
0.18.1
unknown
| ||
0.18.0
unknown
| ||
0.17.0
unknown
| ||
0.16.2
unknown
| ||
0.16.1
unknown
| ||
0.16.0
unknown
| ||
0.15.0
unknown
| ||
0.14.4
unknown
| ||
0.14.3
unknown
| ||
0.14.2
unknown
| ||
0.14.1
unknown
| ||
0.14.0
unknown
| ||
0.13.3
unknown
| ||
0.13.2
unknown
| ||
0.13.1
unknown
| ||
0.13.0
unknown
| ||
0.12.1
unknown
| ||
0.12.0
unknown
| ||
0.11.2
unknown
| ||
0.11.1
unknown
| ||
0.11.0
unknown
| ||
0.10.0
unknown
| ||
0.9.0
unknown
| ||
0.8.0
unknown
| ||
0.7.1
unknown
| ||
0.7.0
unknown
| ||
0.6.0
unknown
| ||
0.5.1
unknown
| ||
0.5.0
unknown
|
1–50 of 56