Three different implementations for n-queens problem

Algorithm constraint, tuple set constraint and DFA constraint are used
respectively.
Sudoku problem