 A Sudoku may also be modelled as a constraint satisfaction problem.In his paper "Sudoku as a Constraint Problem", Helmut Simonis describes many "reasoning algorithms" based on constraints which can be applied to model and solve problems.Some constraint solvers include a method to model and solve Sudokus, and a program may require less than 100 lines of code to solve a simple Sudoku.