rustio rustio.net

Decision Workspace

merc_reduction

Side-by-side comparison of Rust crates

39
merc_reduction
experimentalv1.0.0

Crate for reducing and comparing labelled transition systems modulo various bisimulation equivalences

Core Metrics

merc_reduction
Health Score39
Total Downloads17
30d Downloads3
Dependents0
Releases1
Last Updated89d ago
Age2m

Health Breakdown

merc_reduction
Maintenance
8
Quality
15
Community
5
Popularity
1
Documentation
10

Technical Details

merc_reduction
Version1.0.0
Stable (≥1.0)✓ Yes
LicenseBSL-1.0
Dependencies11
Crate Size32KB
Features0
Yanked %0.0%
Edition2024
MSRV1.85.0
Owners1

Links

merc_reduction detail →GitHub ↗crates.io ↗

Quick Verdict

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