taco-smt-model-checker
| Crates.io | taco-smt-model-checker |
| lib.rs | taco-smt-model-checker |
| version | 0.1.0 |
| created_at | 2026-01-19 15:59:51.143143+00 |
| updated_at | 2026-01-20 09:29:47.483081+00 |
| description | Model Checker encoding threshold automaton and a property into a single SMT query. This model checker is part of the TACO toolsuite. |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054867 |
| size | 130,771 |
Paul Eichler (pleich)
documentation
README
TACO SMT Model Checker
This crate contains the implementation of a model checker for threshold automata that fully encodes the model checking problem into an SMT query.
This model checker is part of the TACO toolsuite for threshold automata. You can find more background on the model checker and on related crates on the TACO website.