Sign in Sign up
cargo

z3

High-level rust bindings for the Z3 SMT solver from Microsoft Research

cargo View on Cargo

Activity

Latest release
1d ago
Total releases
58
Cadence
~5 days
Last 12 months
19

Reach

Downloads
2.2M

Details

License
MIT
First release
Dec 28, 2015
Releases
Version Released
0.22.0 minor
0.21.1 patch
0.21.0 minor
0.20.2 unknown
1 CVE
0.20.1 unknown
1 CVE
0.20.0 unknown
1 CVE
0.19.15 unknown
1 CVE
0.19.14 unknown
1 CVE
0.19.13 unknown
1 CVE
0.19.12 unknown
1 CVE
0.19.11 unknown
1 CVE
0.19.10 unknown
1 CVE
0.19.9 unknown
1 CVE
0.19.8 unknown
1 CVE
0.19.7 unknown
1 CVE
0.19.6 unknown
1 CVE
0.19.5 unknown
1 CVE
0.19.4 unknown
1 CVE
0.19.3 unknown
1 CVE
0.19.2 unknown
1 CVE
0.19.1 unknown
1 CVE
0.19.0 unknown
1 CVE
0.18.2 unknown
1 CVE
0.18.1 unknown
1 CVE
0.18.0 unknown
1 CVE
0.17.0 unknown
1 CVE
0.16.2 unknown
1 CVE
0.16.1 unknown
1 CVE
0.16.0 unknown
1 CVE
0.15.0 unknown
1 CVE
0.14.4 unknown
1 CVE
0.14.3 unknown
1 CVE
0.14.2 unknown
1 CVE
0.14.1 unknown
1 CVE
0.14.0 unknown
1 CVE
0.13.3 unknown
1 CVE
0.13.2 unknown
1 CVE
0.13.1 unknown
1 CVE
0.13.0 unknown
1 CVE
0.12.1 unknown
1 CVE
0.12.0 unknown
1 CVE
0.11.2 unknown
1 CVE
0.11.1 unknown
1 CVE
0.11.0 unknown
1 CVE
0.10.0 unknown
1 CVE
0.9.0 unknown
1 CVE
0.8.0 unknown
1 CVE
0.7.1 unknown
1 CVE
0.7.0 unknown
1 CVE
0.6.0 unknown
1 CVE
1–50 of 58