In reply to dave_59:
Thanks Dave. Always helpful.
The problem I am trying to solve is, lets say we solve Sudoku using constraints. How am I sure that it is the only solution, there is? I can randomize it say 10k times and see if any solution was different from the first one I got. I can still not be completely sure.
Is there any other way way?