rustio rustio.net

Decision Workspace

petricheck

Side-by-side comparison of Rust crates

45
petricheck
experimentalv0.2.3

A simple symbolic model checker for Petri Nets

Core Metrics

petricheck
Health Score45
Total Downloads195
30d Downloads42
Dependents2
Releases6
Last Updated27d ago
Age4m

Health Breakdown

petricheck
Maintenance
18
Quality
11
Community
3
Popularity
3
Documentation
10

Technical Details

petricheck
Version0.2.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies7
Crate Size532KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

petricheck detail →GitHub ↗crates.io ↗

Quick Verdict

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