rustio rustio.net

Decision Workspace

oxiz-cli

Side-by-side comparison of Rust crates

37
oxiz-cli
experimentalv0.1.3

CLI for OxiZ SMT Solver (SMT-LIB2 compliant)

Core Metrics

oxiz-cli
Health Score37
Total Downloads65
30d Downloads9
Dependents0
Releases4
Last Updated49d ago
Age2m

Health Breakdown

oxiz-cli
Maintenance
11
Quality
9
Community
5
Popularity
2
Documentation
10

Technical Details

oxiz-cli
Version0.1.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies27
Crate Size132KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

oxiz-cli detail →GitHub ↗crates.io ↗

Quick Verdict

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