A sudoku solver using arc-consistent CSP algorithms.