[gecode-users] Meaning of red triangle and white circle in Gist

[Guido Tack]

> Does red triangle means a pruned subtree and a white circle means a branch
> that has not been visited yet?

Yes.

Cheers,
   Guido