stable version : Finding all solutions

Problem : extentional binary CNs

variable heuristics : Lexico, Dom
propagators : ForwardChecking for binary CNs