# TACO Model Checker

This crate provides a common interface for the model checkers in the TACO
toolsuite for threshold automata.

You can find more background and implementations of the model checker interface
on the [TACO website](https://taco-mc.dev).
