RuDDy aims to be a high-performance BDD library in Rust. It borrows the ideas of Buddy and JDD.
This branch is able to fulfill the basic requirements of DPV.
- BDD operations (not, and, or, comp)
- BDD set printing
- BDD serialization
- Garbage collection
- Node table and cache resizing
- Performance Statistics
- Examples
- BDD dot file printing
- BDD operations (xor, nand, sat, exist, forall, etc.)
- BDD variable reordering
- Adding variables on the fly