GitHub repository: the-acai/Solver
Primary language: Rust
Description: Rust Solver