taco-cli 0.1.0-alpha.2

The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata

taco-cli-0.1.0-alpha.2 is not a library.

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.