rustio rustio.net

Decision Workspace

smc_scan

Side-by-side comparison of Rust crates

45
smc_scan
experimentalv0.2.0

Statistical model checker for large concurrent systems.

Core Metrics

smc_scan
Health Score45
Total Downloads130
30d Downloads0
Dependents0
Releases2
Last Updated33d ago
Age1m

Health Breakdown

smc_scan
Maintenance
12
Quality
12
Community
5
Popularity
3
Documentation
13

Technical Details

smc_scan
Version0.2.0
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies13
Crate Size29KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

smc_scan detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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