sudoku-sat (pypi): Solve and generate basic Sudokus and Sudokus with an extended set of rules.
Keywords: sudoku|sat