GitHub repository: ConSol-Lab/Munchkin
Primary language: Rust
Description: A minimal lazy clause generation constraint solver written in Rust used for teaching