Sudoku-solving AI