GitHub repository: 7omb/sudoku
Primary language: Rust
Created: 2019-10-03T16:39:39Z
Description: SAT Sudoku solver