taco-threshold-automaton
| Crates.io | taco-threshold-automaton |
| lib.rs | taco-threshold-automaton |
| version | 0.1.0 |
| created_at | 2026-01-19 14:38:39.387602+00 |
| updated_at | 2026-01-20 09:29:40.423341+00 |
| description | A crate defining basic types for threshold automata and all of its building blocks. This crate is part of the TACO toolsuite. |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054723 |
| size | 721,594 |
Paul Eichler (pleich)
documentation
README
TACO Threshold Automaton
This crate implements basic types to represent threshold automata.
This crate is part of the TACO toolsuite for threshold automata. You can find more background on related crates on the TACO website.