A Rust library for manipulating and evaluating Boolean expressions and BDDs - View it on GitHub