GitHub repository: kevinsipin/sat-solver
Created: 2017-09-19T20:58:17Z
Description: A collection of code for scraping, formatting and solving sudokus in order to improve SAT solver performance.