[gecode-users] Grey subtrees in Gist

[Tommaso Urli]

> 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