GitHub repository: manpen/pace25
Primary language: Rust
Description: PACE25 Solver