aws-smt-ir-derive
v0.1.2 GrowingIntermediate representation for SMT problems
Quick Verdict
- ✕Not updated for 2+ years
- !Pre-1.0: API may have breaking changes
- ✓Team maintained (3 owners)
- ✓Permissive license (Apache-2.0)
- !33% of releases were yanked
Security
Deep Insights
44 downloads in the last 30 days (1/day), up 52% from the previous period.
This crate is maintained by a team (3 owners), reducing bus-factor risk and ensuring continuity.
Despite being 3+ years old, aws-smt-ir-derive hasn't reached 1.0 yet. Expect potential API changes between versions.
At 5KB, aws-smt-ir-derive is lightweight. Small crate size correlates with focused, well-scoped functionality.
33% of releases have been yanked. Check version history before pinning.
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 aws-smt-ir-derive
