GitHub repository: powerboat9/boolean_expression
Primary language: Rust
Description: A Rust library for manipulating and evaluating Boolean expressions and BDDs