Solving Sudokus in Python Using a SAT-Solverhttp://nickp.svbtle.com/sudoku-satsolver by nickponline • 11 years ago 2 0 11 years agoNInickp.svbtle.com