GitHub repository: Koramund/Pumpkin
Primary language: Rust
Description: A lazy clause generation constraint solver written in Rust.