This crate provides a simple implementation of Binary Decision Diagrams (BDDs) in Rust. BDDs are a data structure used to represent boolean functions, and are commonly used in formal verification and other areas of computer science.
To use this crate in your project, add the following to your Cargo.toml:
[dependencies]
bdd = "0.1.0"This crate is licensed under the MIT License.