[gecode-users] Not all solutions, BAB vs. DFS

[Guido Tack]

Martin Kreißig wrote:

> Alright. Thanks. But that is not the reason in my original code. I  
> missed it when writing the example.
>
> How come you get 3 solutions? I get the following output (which are  
> the correct solution inserted):
> {{-2,1}, {-1,5}, [2..3], {-4,3}, {-2,2}}
> {-2, -1, 3, -4, 2}
> {1, 5, 2, 3, -2}

Ok, so it's two solutions and one output for the initial domains.  And  
that's exactly the two solutions that your model has.  What other  
solution did you expect?

Cheers,
	Guido