OxiDD

Pinned Repositories

oxidd
Concurrent decision diagram framework written in Rust
Language:Rust48 1 96
oxidd-lite
Stripped-down version of OxiDD as a playground for formal verification of a decision diagram library
Language:Rust1 2 00

OxiDD's Repositories

OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Language:Rust48 1 96
OxiDD/oxidd-lite
Stripped-down version of OxiDD as a playground for formal verification of a decision diagram library
Language:Rust1 2 00