Solver for puzzles (e.g., Sudoku) written in Python.