rustio rustio.net

Decision Workspace

oxiz-spacer

Side-by-side comparison of Rust crates

50
oxiz-spacer
experimentalv0.2.3

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

Core Metrics

oxiz-spacer
Health Score50
Total Downloads251
30d Downloads0
Dependents7
Releases8
Last Updated34d ago
Age6m

Health Breakdown

oxiz-spacer
Maintenance
18
Quality
11
Community
8
Popularity
3
Documentation
10

Technical Details

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

Links

oxiz-spacer detail →GitHub ↗crates.io ↗

Quick Verdict

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