smt2parser
v0.6.1 GrowingGeneric parser library for the SMT-LIB-2 format
Quick Verdict
- ✕Not updated for 4+ years
- !Pre-1.0: API may have breaking changes
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
45.2K downloads in the last 30 days (1.5K/day), up 34% from the previous period.
The primary maintainer publishes 112 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Despite being 5+ years old, smt2parser hasn't reached 1.0 yet. Expect potential API changes between versions.
At 34KB, smt2parser is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include z3tracer, smt2proxy, smt2patch, amzn-smt-ir. When high-quality crates choose smt2parser, 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 smt2parser
