Hi all, I have a question about stop during a search. Is is possible to stop during a search before fixing all variables? For example: I have 4 variables a, b, c, d with domain of [0,1]. After fixing a=0, b=0, I can detect that I have solutions of every combinations of c and d. So it is not effective to branch in c and d (the propagation take more time than counting combinations). Is it possible to stop the search at this point and change to a=0, b=1 (not a=0, b=0, c=0).
Thank you in advance. Best regards, Chuong _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
