Dear Gecode team.
In my program, I create a space and post all the needed constraints.
I do not need any branching to be done, only a result of the propagation is
needed, so I do not call the branch() function. The problem is that the status()
function always returns SS_SOLVED, even if in fact no solution is found.
1. Is it because the queue of branchers is empty, so the space’s status()
function terminates and reports that the space is solved?
2. If yes, then is it possible to post a trivial branching that does nothing?
Best regards, Oleg