[gecode-users] different nr of solutions with and without GIST

[Guido Tack]

Gustavo Gutierrez wrote:
> I removed all the propagators from my problem. Currently i am only  
> branching on one variable and i am getting different result from  
> gist and the other search. As there are no propagators, the shape of  
> the search tree is easy  to guess and should have only 80 solutions.  
> When i run the gist search i get more than that number of solutions  
> but an interesting thing is that clicking or passing the mouse over  
> a solution that should not be there leads to a segmentation fault.  
> Actual solutions to the problem are shown when double clicking  
> without any problem.

Could you please send me the code (by private email)?  I'll check, but  
it sounds like a bug in Gist.  Do you use a custom branching?

Cheers,
	Guido

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2436 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090109/29c9186c/attachment.bin>