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
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
