OxiDD

Pinned Repositories

oxidd
Concurrent decision diagram framework written in Rust
Language:Rust37 1 75
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:Rust37 1 75
OxiDD/oxidd-lite
Stripped-down version of OxiDD as a playground for formal verification of a decision diagram library
Language:Rust1 2 00