rustio rustio.net

Decision Workspace

taco-zcs-model-checker

Side-by-side comparison of Rust crates

43
taco-zcs-model-checker
experimentalv0.1.0

Model Checker constructing an abstract counter system encoded into BDDs to verify threshold automata. This model checker is part of the TACO toolsuite.

Core Metrics

taco-zcs-model-checker
Health Score43
Total Downloads153
30d Downloads0
Dependents4
Releases4
Last Updated152d ago
Age5m

Health Breakdown

taco-zcs-model-checker
Maintenance
17
Quality
8
Community
7
Popularity
3
Documentation
8

Technical Details

taco-zcs-model-checker
Version0.1.0
Stable (≥1.0)✗ No
Licensenon-standard
Dependencies9
Crate Size62KB
Features4
Yanked %75.0%
Edition2024
MSRV—
Owners1

Links

taco-zcs-model-checker detail →GitHub ↗crates.io ↗

Quick Verdict

  • •taco-zcs-model-checker leads with a health score of 43/100, but none of the options score above 80.