Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

OxiDD

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up

Popular repositoriesLoading

  1. oxiddoxiddPublic

    Concurrent decision diagram framework written in Rust

    Rust 58 9

  2. oxidd-liteoxidd-litePublic

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

    Rust 1

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 2 of 2 repositories
  • oxidd Public

    Concurrent decision diagram framework written in Rust

    OxiDD/oxidd’s past year of commit activity
    Rust 58Apache-2.0 9 6 1 UpdatedMar 14, 2025
  • oxidd-lite Public

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

    OxiDD/oxidd-lite’s past year of commit activity
    Rust 1Apache-2.00 0 0 UpdatedJul 25, 2024

Top languages

Loading…

Most used topics

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp