Your brancher has a bug ;-)
Guessed that! :P
It claims to have a certain number of alternatives (as defined by the alternatives() member function of the brancher's choice object class) but later alternatives are tried (via the commit() function) during search which have a number larger than what alternatives() reports.
Ok, that provides an interesting insight. Thanks for the help. Tommaso _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
