rustio rustio.net

Decision Workspace

oxiz-spacer

Side-by-side comparison of Rust crates

42
oxiz-spacer
experimentalv0.1.3

Property Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving

Core Metrics

oxiz-spacer
Health Score42
Total Downloads107
30d Downloads25
Dependents3
Releases4
Last Updated50d ago
Age2m

Health Breakdown

oxiz-spacer
Maintenance
11
Quality
11
Community
8
Popularity
2
Documentation
10

Technical Details

oxiz-spacer
Version0.1.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies10
Crate Size107KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

oxiz-spacer detail →GitHub ↗crates.io ↗

Quick Verdict

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