72
z3-sys
v0.10.9 GrowingLow-level bindings for the Z3 SMT solver from Microsoft Research
MIT Edition 2024 MSRV 1.85.0
External FFI bindingsNo standard libraryNo standard library::No dynamic allocation #ffi#solver#smt#satisfiability
Quick Verdict
- ✓Actively maintained (updated 14d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 124 crates
- ✓Permissive license (MIT)
Security
Checking security advisories...
Downloads
886.1K
Dependents
124
Releases
34
Size
78KB
Deep Insights
📈
Strong growth momentum
98.7K downloads in the last 30 days (3.3K/day), up 32% from the previous period.
🔗
Moderate adoption
124 crates depend on z3-sys. Reasonable ecosystem adoption, though not yet a core dependency.
🔬
Pre-1.0 for over a year
Despite being 10+ years old, z3-sys hasn't reached 1.0 yet. Expect potential API changes between versions.
🌟
Used by top crates
Notable dependents include z3, falcon-z3, smtlib-lowlevel, jingle, seer-z3. When high-quality crates choose z3-sys, it's a strong quality signal.
Health Breakdown
Maintenance 17/25
Recency, release consistency, active ratio
Quality 17/25
Yanked ratio, deps, size, maturity, features
Community 16/20
Reverse deps, ownership, ecosystem
Popularity 7/15
Downloads, momentum, growth trend
Documentation 15/15
Docs, repo, license, metadata
Download Trend
Daily downloads · last 90 days
3K/day avg+26%
Top Dependents
Most downloaded crates that depend on z3-sys
Version Adoption
v0.8.1
39%
v0.10.4
24%
v0.6.3
13%
v0.7.1
13%
v0.10.3
12%
Release Timeline
34 releasessince 2015
J
F
M
A
M
J
J
A
S
O
N
D
2015
1
2016
2017
2018
3
2019
1
2020
4
2021
2
2022
2023
2
2024
2025
16
2026
5
LessMore
Feature Flags
default =["reqwest-rustls"]
vcpkgbundledgh-releasereqwest-rustls*static-link-z3deprecated-static-link-z3reqwest-native-tls-vendored
README
Loading README...
Maintainers
Dependencies
7
direct dependencies
Dependents
124
crates depend on z3-sys