A Sudoku solver written in Python