GitHub repository: kaijenlee/PumpkinMDD
Description: A lazy clause generation constraint solver written in Rust.