A crate containing parsers to parse threshold automata and ELTL specifications from ByMC and TLA+ specification files.
This crate is part of the TACO toolsuite for threshold automata. You can
find more background, the specification formats and use cases, as well as
related crates on the
[TACO website](https://taco-mc.dev).