10000 OxiDD repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@OxiDD OxiDD

Change the repository type filter

All

    Repositories list

    3 repositories

    • oxidd

      Public
      Concurrent decision diagram framework written in Rust
      bddzbddbinary-decision-diagramszddzero-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
    0