taco-bdd
| Crates.io | taco-bdd |
| lib.rs | taco-bdd |
| version | 0.1.0 |
| created_at | 2026-01-19 14:38:36.191981+00 |
| updated_at | 2026-01-20 09:29:38.131266+00 |
| description | A Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite. |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054721 |
| size | 86,352 |
Paul Eichler (pleich)
documentation
README
TACO Binary Decision Diagrams
This crate provides a simple unified interface for different binary decision diagram (BDD) libraries. It has been specifically implemented for the needs of the model checkers in the TACO toolsuite for threshold automata.
You are welcome to use it in your project too, but be aware that the need of TACO will be prioritized during the development of this crate.
This crate is part of the TACO toolsuite for threshold automata. You can find more background on related crates on the TACO website.