| Crates.io | taco-smt-encoder |
| lib.rs | taco-smt-encoder |
| version | 0.1.0 |
| created_at | 2026-01-19 14:48:25.17372+00 |
| updated_at | 2026-01-20 09:29:42.091372+00 |
| description | A crate defining the SMT encodings of threshold automata components into SMT. This crate is part of the TACO toolsuite. |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054736 |
| size | 178,198 |
This crate contains utility code for configuring SMT solvers and encoding constraints for threshold automata into SMT.
This crate is part of the TACO toolsuite for threshold automata. You can find more background on related crates on the TACO website.