taco-cli
| Crates.io | taco-cli |
| lib.rs | taco-cli |
| version | 0.1.0 |
| created_at | 2026-01-19 16:18:01.126308+00 |
| updated_at | 2026-01-20 09:29:50.582403+00 |
| description | The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054898 |
| size | 143,854 |
Paul Eichler (pleich)
documentation
README
TACO Command Line Interface
This crate provides a simple command line interface (CLI) for verifying threshold automata using different model checkers from the TACO toolsuite for threshold automata.
For more information on how to use the CLI and the theoretical background checkout the TACO website.