Decision Workspace
taco-zcs-model-checker vs taco-bdd vs taco-display-utils
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.
46
taco-bdd
experimentalv0.1.0
A Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite.
46
taco-display-utils
experimentalv0.1.0
A small helper crate for displaying iterators. This crate is part of the TACO toolsuite.
Core Metrics
| taco-zcs-model-checker | taco-bdd | taco-display-utils | |
|---|---|---|---|
| Health Score | 43 | 46 | 46 |
| Total Downloads | 153 | 617 | 751 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 4 | 12 | 36 |
| Releases | 4 | 4 | 4 |
| Last Updated | 152d ago | 152d ago | 152d ago |
| Age | 5m | 5m | 5m |
Health Breakdown
taco-zcs-model-checker
Maintenance
17
Quality
8
Community
7
Popularity
3
Documentation
8
taco-bdd
Maintenance
17
Quality
10
Community
8
Popularity
3
Documentation
8
taco-display-utils
Maintenance
17
Quality
9
Community
9
Popularity
3
Documentation
8
Technical Details
| taco-zcs-model-checker | taco-bdd | taco-display-utils | |
|---|---|---|---|
| Version | 0.1.0 | 0.1.0 | 0.1.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | non-standard | non-standard | non-standard |
| Dependencies | 9 | 6 | 0 |
| Crate Size | 62KB | 20KB | 6KB |
| Features | 4 | 5 | 0 |
| Yanked % | 75.0% | 75.0% | 75.0% |
| Edition | 2024 | 2024 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •taco-bdd leads with a health score of 46/100, but none of the options score above 80.
- •taco-display-utils has the most downloads (751), suggesting wider adoption.