Uses constraint propagation to solve a sudoku of any size