rustio rustio.net

Decision Workspace

smt-scope

Side-by-side comparison of Rust crates

47
smt-scope
growingv0.1.7

A library for parsing and analysing SMT traces.

Core Metrics

smt-scope
Health Score47
Total Downloads12.7K
30d Downloads5.0K
Dependents0
Releases8
Last Updated148d ago
Age1y

Health Breakdown

smt-scope
Maintenance
12
Quality
14
Community
6
Popularity
5
Documentation
10

Technical Details

smt-scope
Version0.1.7
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies24
Crate Size161KB
Features8
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

smt-scope detail →GitHub ↗crates.io ↗

Quick Verdict

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