Microsoft.Z3
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
Activity
- Latest release
- 3y ago
- Total releases
- 13
- Cadence
- ~27 days
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Jul 11, 2021
Releases
| Version | Released | |
|---|---|---|
4.12.2
patch
| ||
4.12.0
minor
| ||
4.11.2
patch
| ||
4.11.0
minor
| ||
4.10.2
patch
| ||
4.10.1
minor
| ||
4.9.1
minor
| ||
4.8.17
patch
| ||
4.8.16
patch
| ||
4.8.14
patch
| ||
4.8.13
patch
| ||
4.8.12
patch
| ||
4.8.11
initial
|