z3-sys
- Latest release
- Apr 01, 2026
- Releases
- 35
- Known CVEs
- 0
- First release
- Dec 28, 2015
- License
- MIT
Activity
- Total releases
- 35
- Last 12 months
- 22
- Cadence
- ~14 days
- Dependencies
- 12
Releases per month
last 12 monthsRelease mix
- unknown 35
Depends on
0.11.0-
bindgen ^0.72 build
-
pkg-config ^0.3.32 build
-
prettyplease ^0.2 build
-
proc-macro2 ^1 build
-
quote ^1 build
-
regex ^1 build
-
reqwest ^0.12.22 build
-
serde_json ^1.0.140 build
-
syn ^2 build
-
vcpkg ^0.2.15 build
Used by
12-
falcon-z3
-
seer-z3
-
rust_smt
-
amzn-smt-ir
-
monster-rs
-
isla-lib
-
aws-smt-ir
-
formally-smt
-
smtlib-lowlevel
-
xmt-lib
| Version | Released | |
|---|---|---|
0.11.0
unknown
|
0.11.0
unknown
Dependencies (12)
+ 4 more |
|
0.10.9
unknown
|
0.10.9
unknown
Dependencies (7)
|
|
0.10.8
unknown
|
0.10.8
unknown
Dependencies (7)
|
|
0.10.7
unknown
|
0.10.7
unknown
Dependencies (7)
|
|
0.10.6
unknown
|
0.10.6
unknown
Dependencies (7)
|
|
0.10.5
unknown
|
0.10.5
unknown
Dependencies (7)
|
|
0.10.4
unknown
|
0.10.4
unknown
Dependencies (7)
|
|
0.10.3
unknown
|
0.10.3
unknown
Dependencies (7)
|
|
0.10.2
unknown
|
0.10.2
unknown
Dependencies (7)
|
|
0.10.1
unknown
|
0.10.1
unknown
Dependencies (7)
|
|
0.10.0
unknown
|
0.10.0
unknown
Dependencies (7)
|
|
0.9.10
unknown
|
0.9.10
unknown
Dependencies (7)
|
|
0.9.9
unknown
|
0.9.9
unknown
Dependencies (7)
|
|
0.9.8
unknown
|
0.9.8
unknown
Dependencies (7)
|
|
0.9.7
unknown
|
0.9.7
unknown
Dependencies (7)
|
|
0.9.6
unknown
|
0.9.6
unknown
Dependencies (7)
|
|
0.9.5
unknown
|
0.9.5
unknown
Dependencies (7)
|
|
0.9.4
unknown
|
0.9.4
unknown
Dependencies (7)
|
|
0.9.3
unknown
|
0.9.3
unknown
Dependencies (7)
|
|
0.9.2
unknown
|
0.9.2
unknown
Dependencies (7)
|