Sign in Sign up
pypi

z3-solver

The Z3 Theorem Prover

pypi View on Pypi github View on Github

Activity

Latest release
1d ago
Total releases
56
Cadence
~34 days
Last 12 months
11

Reach

Stars
12.9k

Details

License
MIT
First release
Oct 11, 2016
Releases
Version Released
5.3.3.0 patch
5.3.2.0 patch
5.3.1.0 patch
5.3.0.0 minor
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
1–50 of 56