A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.