rustio rustio.net

smt2parser vs rsmt2 vs aws-smt-ir

Side-by-side comparison of Rust crates

Core Metrics

smt2parserrsmt2aws-smt-ir
Health Score464943
Total Downloads625.0K64.2K6.0K
30d Downloads43.9K71714
Dependents27110
Releases11294
Last Updated1661d ago1292d ago963d ago
Age5y 2m9y 6m3y 6m

Health Breakdown

smt2parser
Maintenance
5
Quality
13
Community
9
Popularity
7
Documentation
12
rsmt2
Maintenance
6
Quality
17
Community
8
Popularity
6
Documentation
12
aws-smt-ir
Maintenance
7
Quality
12
Community
10
Popularity
5
Documentation
9

Technical Details

smt2parserrsmt2aws-smt-ir
Version0.6.10.16.20.3.0
Stable (≥1.0)✗ No✗ No✗ No
LicenseMIT OR Apache-2.0MIT/Apache-2.0Apache-2.0
Dependencies10220
Crate Size35KB64KB79KB
Features020
Yanked %0.0%0.0%0.0%
Edition201820182018
MSRV
Owners113 (team)

Quick Verdict

  • rsmt2 leads with a health score of 49/100, but none of the options score above 80.
  • smt2parser has the most downloads (625.0K), suggesting wider adoption.
  • ⚠ smt2parser, rsmt2, aws-smt-ir have not been updated in over a year.