ssc-compiler (pypi): Describe generalized Sudokus through simple equations. Compile programs to SAT and solve them with limboole.
Keywords: sudoku|sat|compiler|limboole