cudd-rs
Cudd Rust Library