S

sudoku-sat

sudoku solver in python using SAT engine