cudd (cargo): Cudd Rust library
Keywords: logic|model_checking|bdd|formal_method|cudd