Z3Prover/z3

Z3Prover/z3

Releases58
Frequency2 months 3 weeks
Last Release
Stars12.3K
The Z3 Theorem Prover
Subscribe above to receive notifications when new versions are released.
VersionDate
Stability
Stability is determined by the version string and my be inaccurate.
Nightly Nightly
z3-4.16.0 Unknown
z3-4.15.8 Unknown
z3-4.15.7 Unknown
z3-4.15.6 Unknown
z3-4.15.5 Unknown
z3-4.15.4 Unknown
z3-4.15.3 Unknown
z3-4.15.2 Unknown
z3-4.15.1 Unknown
z3-4.15.0 Unknown
z3-4.14.1 Unknown
z3-4.14.0 Unknown
z3-4.13.4 Unknown
z3-4.13.3 Unknown
z3-4.13.2 Unknown
z3-4.13.0 Unknown
z3-4.12.6 Unknown
z3-4.12.5 Unknown
z3-4.12.4 Unknown
z3-4.12.3 Unknown
z3-4.12.2 Unknown
z3-4.12.1 Unknown
z3-4.12.0 Unknown
z3-4.11.2 Unknown
Previous123Next