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