rustio rustio.net

Decision Workspace

oxiz-theories

Side-by-side comparison of Rust crates

43
oxiz-theories
experimentalv0.1.3

Theory Solvers (EUF, Arithmetic, BitVectors) for OxiZ

Core Metrics

oxiz-theories
Health Score43
Total Downloads477
30d Downloads208
Dependents7
Releases4
Last Updated50d ago
Age2m

Health Breakdown

oxiz-theories
Maintenance
11
Quality
11
Community
8
Popularity
3
Documentation
10

Technical Details

oxiz-theories
Version0.1.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies13
Crate Size478KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

oxiz-theories detail →GitHub ↗crates.io ↗

Quick Verdict

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