Sudoku solver implemented in Mercury.