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