GitHub repository: ptal/pcp
Primary language: Rust
Description: Constraint programming in Rust