Skip to content
@OxiDD

OxiDD

Popular repositories Loading

  1. oxidd oxidd Public

    Concurrent decision diagram framework written in Rust

    Rust 60 9

  2. oxidd-viz oxidd-viz Public

    Decision diagram visualization tool

    Rust 3

  3. oxidd-lite oxidd-lite Public

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

    Rust 1

Repositories

Showing 3 of 3 repositories
  • oxidd-viz Public

    Decision diagram visualization tool

    Rust 3 Apache-2.0 0 0 0 Updated Apr 7, 2025
  • oxidd Public

    Concurrent decision diagram framework written in Rust

    Rust 60 Apache-2.0 9 7 1 Updated Apr 4, 2025
  • oxidd-lite Public

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

    Rust 1 Apache-2.0 0 0 0 Updated Jul 25, 2024

Top languages

Rust