Repositories list

• oxidd

  Public
  Concurrent decision diagram framework written in Rust

  bddzbddbinary-decision-diagrams+ 2zddzero-suppressed-decision-diagrams

  Rust

  •

  Apache License 2.0

  •9•62•7•1•Updated Jun 18, 2025Jun 18, 2025

• oxidd-viz

  Public
  Decision diagram visualization tool

  Rust

  •

  Apache License 2.0

  •0•3•0•0•Updated May 16, 2025May 16, 2025

• oxidd-lite

  Public
  Stripped-down version of OxiDD as a playground for formal verification of a decision diagram library

  Rust

  •

  Apache License 2.0

  •0•1•0•0•Updated Jul 25, 2024Jul 25, 2024