GitHub repository: mlaveaux/ldd-library
Primary language: Rust
Description: A list decision diagram (LDD) implementation in Rust.