Common interface for binary decision diagrams (BDDs) and BDD managers

This package provides a generic interface for BDDs and BDD managers, allowing the use of multiple BDD libraries, depending on your needs. Currently, this package includes CUDD and OxiDD:

• CUDD
• OxiDD

To interface with BDDs use the [BDD] and BDDManager types, as well as the BDDManagerConfig to configure the different managers.

To add a new BDD library, implement the [Bdd] and BddManager traits for the library, add it as new module and add a variant for the new library to the [BDD] and BDDManager types.

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.