71
z3
v0.19.15 GrowingHigh-level rust bindings for the Z3 SMT solver from Microsoft Research
MIT Edition 2024 MSRV 1.85.0
Quick Verdict
- ✓Actively maintained (updated 8d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 358 crates
- ✓Permissive license (MIT)
Security
Checking security advisories...
Downloads
832.1K
Dependents
358
Releases
52
Size
106KB
Deep Insights
📈
Strong growth momentum
96.6K downloads in the last 30 days (3.2K/day), up 31% from the previous period.
🔗
Moderate adoption
358 crates depend on z3. Reasonable ecosystem adoption, though not yet a core dependency.
🔬
Pre-1.0 for over a year
Despite being 10+ years old, z3 hasn't reached 1.0 yet. Expect potential API changes between versions.
🌟
Used by top crates
Notable dependents include libafl, biodivine-lib-param-bn, xlsynth-g8r, peepmatic, smt-lang. When high-quality crates choose z3, it's a strong quality signal.
Health Breakdown
Maintenance 17/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
3K/day avg+24%
Top Dependents
Version Adoption
v0.12.1
42%
v0.19.7
26%
v0.11.2
13%
v0.19.5
11%
v0.7.1
8%
Release Timeline
52 releasessince 2015
J
F
M
A
M
J
J
A
S
O
N
D
2015
1
2016
1
2017
2018
2
2019
2
2020
7
2021
4
2022
2023
2
2024
2025
25
2026
8
LessMore
Feature Flags
default =["z3_4_8_15"]
vcpkgbundledz3_4_8_13z3_4_8_14z3_4_8_15*gh-releasestatic-link-z3
README
Loading README...
Maintainers
Dependencies
6
direct dependencies
Dependents
358
crates depend on z3