Constraint programming ?
Sudoku rules :
Choco Solver :
We used Choco solver, which is a Java library made to use constraint programming easily. To use it, one only have to write the constraints.
The constraints in LP :
The sudoku solving problem can be summarized in linear programming as follows:
The constraints in Choco :
The sudoku solving problem in constraint programming can be summarized :