A safe, concurrent, modular, and performant decision diagram framework.
Apply cache for OxiDD
Command line interface for OxiDD
Core traits and types of the OxiDD decision diagram framework
Derive macros for OxiDD
Dump OxiDD decision diagrams to file
Index-based manager implementation for OxiDD
Pointer-based manager implementation for OxiDD
Reordering algorithms for OxiDD
Binary decision diagrams (BDDs) for OxiDD
Multi-terminal decision diagrams (MTBDDs) for OxiDD
Ternary decision diagrams (TDDs) for OxiDD