Sign in Sign up
cargo

z3-sys

Low-level bindings for the Z3 SMT solver from Microsoft Research

cargo View on Cargo

Activity

Latest release
1d ago
Total releases
39
Cadence
~19 days
Last 12 months
14

Reach

Downloads
2.3M

Details

License
MIT
First release
Dec 28, 2015
Releases
Version Released
0.14.0 minor
0.13.1 patch
0.13.0 minor
0.12.0 unknown
0.11.0 unknown
0.10.9 unknown
0.10.8 unknown
0.10.7 unknown
0.10.6 unknown
0.10.5 unknown
0.10.4 unknown
0.10.3 unknown
0.10.2 unknown
0.10.1 unknown
0.10.0 unknown
0.9.10 unknown
0.9.9 unknown
0.9.8 unknown
0.9.7 unknown
0.9.6 unknown
0.9.5 unknown
0.9.4 unknown
0.9.3 unknown
0.9.2 unknown
0.9.1 unknown
0.9.0 unknown
0.8.1 unknown
0.8.0 unknown
0.7.1 unknown
0.7.0 unknown
0.6.3 unknown
0.6.2 unknown
0.6.1 unknown
0.6.0 unknown
0.5.0 unknown
0.4.0 unknown
0.3.0 unknown
0.2.0 unknown
0.1.0 unknown