rustio rustio.net

Decision Workspace

oxiz-proof

Side-by-side comparison of Rust crates

45
oxiz-proof
experimentalv0.1.3

Proof generation and checking for OxiZ SMT solver

Core Metrics

oxiz-proof
Health Score45
Total Downloads152
30d Downloads44
Dependents5
Releases4
Last Updated50d ago
Age2m

Health Breakdown

oxiz-proof
Maintenance
11
Quality
13
Community
8
Popularity
3
Documentation
10

Technical Details

oxiz-proof
Version0.1.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies13
Crate Size160KB
Features3
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

oxiz-proof detail →GitHub ↗crates.io ↗

Quick Verdict

  • •oxiz-proof leads with a health score of 45/100, but none of the options score above 80.