rustio rustio.net

Decision Workspace

z3-src

Side-by-side comparison of Rust crates

44
z3-src
experimentalv416.0.1

Source distribution of the Z3 SMT solver, for use as a build dependency

Core Metrics

z3-src
Health Score44
Total Downloads173
30d Downloads167
Dependents0
Releases6
Last Updated6d ago
Age1m

Health Breakdown

z3-src
Maintenance
13
Quality
13
Community
5
Popularity
3
Documentation
10

Technical Details

z3-src
Version416.0.1
Stable (≥1.0)✓ Yes
LicenseMIT
Dependencies1
Crate Size4.5MB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

z3-src detail →GitHub ↗crates.io ↗

Quick Verdict

  • •z3-src leads with a health score of 44/100, but none of the options score above 80.