Solving a sudoku with constraint programming in ruby