rustio rustio.net

Decision Workspace

oxiz-core

Side-by-side comparison of Rust crates

52
oxiz-core
experimentalv0.2.3

Core AST, Sorts, and Traits for OxiZ SMT Solver

Core Metrics

oxiz-core
Health Score52
Total Downloads7.7K
30d Downloads1.2K
Dependents80
Releases8
Last Updated35d ago
Age6m

Health Breakdown

oxiz-core
Maintenance
18
Quality
8
Community
11
Popularity
5
Documentation
10

Technical Details

oxiz-core
Version0.2.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies21
Crate Size528KB
Features5
Yanked %12.5%
Edition2024
MSRV—
Owners1

Links

oxiz-core detail →GitHub ↗crates.io ↗

Quick Verdict

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