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

[Martin Kreißig]

Hi,

of course your right. I also inserted the solutions I had problems with
and obtained the correct results. So there must be a bug in the rest of
my code. 
sorry for the inconvenience and thank you for your help.

cheers
Martin

On Fri, 2009-09-04 at 21:27 +0200, Guido Tack wrote:

> 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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090907/dbcdceba/attachment.htm>