taco-cli 0.1.0-alpha.1

The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata
1
2
3
4
5
6
7
8

# 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](https://taco-mc.dev).