rustio rustio.net

Decision Workspace

z3-sys

Side-by-side comparison of Rust crates

72
z3-sys
growingv0.10.9

Low-level bindings for the Z3 SMT solver from Microsoft Research

Core Metrics

z3-sys
Health Score72
Total Downloads886.1K
30d Downloads97.2K
Dependents124
Releases34
Last Updated14d ago
Age10y 3m

Health Breakdown

z3-sys
Maintenance
17
Quality
17
Community
16
Popularity
7
Documentation
15

Technical Details

z3-sys
Version0.10.9
Stable (≥1.0)✗ No
LicenseMIT
Dependencies7
Crate Size78KB
Features8
Yanked %0.0%
Edition2024
MSRV1.85.0
Owners5

Links

z3-sys detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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