GitHub repository: timbeurskens/rsbdd
Primary language: Rust
Description: A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust