Using a SAT solver to solve a simple version of Sudoku #1 Post by rvprasad » Thu, May 03, 2018, 5:37 PM UTC Using a SAT solver to solve a simple version of Sudokumedium.com