RuDDy

RuDDy aims to be a high-performance BDD library in Rust. It borrows the ideas of Buddy and JDD.

Status

This branch is able to fulfill the basic requirements of DPV.

Done

• propositional logic operations (not, and, or, comp)
• first-order logic operations (exists, forall)
• BDD set printing
• BDD serialization
• Garbage collection
• Node table and cache resizing
• Performance Statistics

TODO

• Examples
• BDD dot file printing

No plans

• BDD variable reordering
• Adding variables on the fly