GitHub repository: prateekkumarweb/sudoku_solver
Primary language: Rust
Description: Sudoku Solver using SAT Solver