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 _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
