[gecode-users] Question about branching

Christian Schulte cschulte at kth.se
Fri Feb 27 17:38:12 CET 2009


Hi Vincent,

of course you were right and I was wrong. The bug is as you describe.

It can only be observed if a propagator has no advisors left, and all of our 
propagators using advisors disappear when they have no advisors left.

Fixed in the trunk.

Cheers
Christian







More information about the gecode-users mailing list