rustio rustio.net

Decision Workspace

taco-zcs-model-checker

Side-by-side comparison of Rust crates

41
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 Score41
Total Downloads90
30d Downloads20
Dependents4
Releases4
Last Updated44d ago
Age2m

Health Breakdown

taco-zcs-model-checker
Maintenance
16
Quality
8
Community
7
Popularity
2
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 41/100, but none of the options score above 80.