close
Skip to main content

OxiDD

The Next-Gen Decision Diagram Framework

OxiDD introduces a new approach to decision diagrams with its cutting-edge Rust implementation. Tailored for modularity, safety, and performance, OxiDD stands out as a versatile framework enabling future decision diagram research and serving as a solid foundation for state-of-the art tools.

Modularity

OxiDD is built for flexibility, allowing easy extensions and modifications. Its modular setup supports various decision diagram types, facilitated by Rust's generic programming capabilities.

Safety

OxiDD leverages Rust's safety guarantees to eliminate common programming errors leading to undefined behavior. This focus on safety aims to prevent crashes and incorrect results.

Performance

OxiDD seeks to match or exceed the performance of existing decision diagram libraries. Through careful optimization, it delivers high-performance without sacrificing safety or flexibility.