Sudoku solver written in Python