> Does red triangle means a pruned subtree and a white circle means a branch > that has not been visited yet?
Yes. Cheers, Guido _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
