rustio rustio.net

Decision Workspace

smt-str

Side-by-side comparison of Rust crates

42
smt-str
growingv0.2.3

Utilities for working with SMT-LIB strings in Rust

Core Metrics

smt-str
Health Score42
Total Downloads3.5K
30d Downloads10
Dependents0
Releases6
Last Updated328d ago
Age1y

Health Breakdown

smt-str
Maintenance
8
Quality
15
Community
5
Popularity
4
Documentation
10

Technical Details

smt-str
Version0.2.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies10
Crate Size70KB
Features4
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

smt-str detail →GitHub ↗crates.io ↗

Quick Verdict

  • •smt-str leads with a health score of 42/100, but none of the options score above 80.