GitHub repository: stites/rsdd
Description: Rust decision diagrams