rustio rustio.net

Decision Workspace

yaspar

Side-by-side comparison of Rust crates

50
yaspar
experimentalv2.7.0

Yet Another SMT Parser, a SMTLib 2.7 compliant parsing library

Core Metrics

yaspar
Health Score50
Total Downloads2.1K
30d Downloads1.6K
Dependents3
Releases1
Last Updated44d ago
Age1m

Health Breakdown

yaspar
Maintenance
10
Quality
15
Community
11
Popularity
4
Documentation
10

Technical Details

yaspar
Version2.7.0
Stable (≥1.0)✓ Yes
LicenseApache-2.0
Dependencies9
Crate Size96KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners3

Links

yaspar detail →GitHub ↗crates.io ↗

Quick Verdict

  • •yaspar leads with a health score of 50/100, but none of the options score above 80.