[gecode-users] Question: stop during a search

[Chuong]

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