69
z3-sys
v0.11.0 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 54d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 152 crates
- ✓Permissive license (MIT)
Security
Checking security advisories...
Downloads
1.2M
Dependents
152
Releases
35
Size
93KB
Deep Insights
📊
Stable downloads
180.4K downloads in the last 30 days (6.0K/day). Volume is roughly flat compared to the previous period.
🔗
Moderate adoption
152 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 15/25
Recency, release consistency, active ratio
Quality 16/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
5K/day avg+86%
Top Dependents
Most downloaded crates that depend on z3-sys
Version Adoption
v0.10.4
61%
v0.10.3
17%
v0.10.9
14%
v0.11.0
7%
v0.10.5
1%
Release Timeline
10 releasessince 2025
J
F
M
A
M
J
J
A
S
O
N
D
2025
4
2026
6
LessMore
Feature Flags
vcpkgbindgenbundledvendoredgh-release
README
Loading README...
Maintainers
Dependencies
12
direct dependencies
Dependents
152
crates depend on z3-sys