Sign in Sign up
pypi

z3-solver

The Z3 Theorem Prover

pypi View on Pypi github View on Github

Activity

Latest release
4w ago
Total releases
52
Cadence
~39 days
Last 12 months
8

Reach

Stars
12.6k

Details

License
MIT
First release
Oct 11, 2016
Releases
Version Released
5.1.0.0 minor
5.0.0.0 major
4.16.0.0 minor
4.15.8.0 patch
4.15.7.0 patch
4.15.6.0 patch
4.15.5.0 patch
4.15.4.0 patch
4.15.3.0 patch
4.15.1.0 patch
4.15.0.0 minor
4.14.1.0 patch
4.14.0.0 minor
4.13.4.0 patch
4.13.3.0 patch
4.13.2.0 patch
4.13.1.0 patch
4.13.0.0 minor
4.12.6.0 patch
4.12.5.0 patch
4.12.4.0 patch
4.12.3.0 patch
4.12.2.0 patch
4.12.1.0 patch
4.12.0.0 minor
4.11.2.0 patch
4.11.1.0 patch
4.11.0.0 minor
4.10.2.0 patch
4.10.1.0 patch
4.10.0.0 minor
4.9.1.0 patch
4.9.0.0 minor
4.8.17.0 patch
4.8.16.0 patch
4.8.15.0 patch
4.8.14.0 patch
4.8.13.0 patch
4.8.12.0 patch
4.8.11.0 patch
4.8.10.0 patch
4.8.9.0 patch
4.8.8.0 patch
4.8.7.0 patch
4.8.6.0 patch
4.8.5.0 minor
4.8.0.0.post1 pre
4.5.1.0.post2 pre
4.5.1.0.post1 pre
4.5.1.0 minor
1–50 of 52