Skip to content
@OxiDD

OxiDD

Popular repositories

  1. oxidd oxidd Public

    Concurrent decision diagram framework written in Rust

    Rust 24 2

  2. 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 2 of 2 repositories
  • oxidd Public

    Concurrent decision diagram framework written in Rust

    Rust 24 Apache-2.0 2 1 1 Updated Apr 26, 2024
  • 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 Apr 22, 2024

Top languages

Loading…

Most used topics

Loading…