/RuDDy

RuDDy: A Binary Decision Diagram (BDD) library in Rust

Primary LanguageRust

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

  • BDD operations (not, and, or, comp)
  • BDD set printing
  • BDD serialization
  • Garbage collection
  • Node table and cache resizing
  • Performance Statistics

TODO

  • Examples
  • BDD dot file printing

No plans

  • BDD operations (xor, nand, sat, exist, forall, etc.)
  • BDD variable reordering
  • Adding variables on the fly