Uses CSP methods to reliably solve up to 16x16 Sudoku puzzles