rustio rustio.net

Decision Workspace

z3

Side-by-side comparison of Rust crates

71
z3
growingv0.19.15

High-level rust bindings for the Z3 SMT solver from Microsoft Research

Core Metrics

z3
Health Score71
Total Downloads832.1K
30d Downloads95.1K
Dependents358
Releases52
Last Updated8d ago
Age10y 3m

Health Breakdown

z3
Maintenance
17
Quality
16
Community
16
Popularity
7
Documentation
15

Technical Details

z3
Version0.19.15
Stable (≥1.0)✗ No
LicenseMIT
Dependencies6
Crate Size106KB
Features8
Yanked %0.0%
Edition2024
MSRV1.85.0
Owners5

Links

z3 detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •z3 leads with a health score of 71/100, but none of the options score above 80.
  • •z3 is depended on by 358 crates — strongest ecosystem trust.