oxiz-core
v0.2.3 ExperimentalCore AST, Sorts, and Traits for OxiZ SMT Solver
Quick Verdict
- ✓Actively maintained (updated 35d ago)
- !Pre-1.0: API may have breaking changes
- !Heavy dependency tree (21 direct deps)
- ✓Permissive license (Apache-2.0)
Security
Deep Insights
1.5K downloads in the last 30 days (48/day), up 70% from the previous period.
The primary maintainer publishes 912 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
21 direct dependencies. Consider the impact on compile times and supply chain complexity.
13% of releases have been yanked. Check version history before pinning.
Notable dependents include oxiz-sat, oxiz-theories, oxiz-nlsat, oxiz-solver, oxiz. When high-quality crates choose oxiz-core, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on oxiz-core
Version Adoption
Release Timeline
Feature Flags
default =["std"]