GitHub repository: Cesar48/Pumpkin-CGS
Primary language: Rust
Description: A core-guided lazy clause generation constraint solver written in Rust.