Jeffrey wrote: > What are the colors and symbol shapes mean in the Gist presentation?
Red square = failure, green diamond = solution, blue circle = branching
> We do not have any documentation at this moment about Gist, right?
It will be part of the 3.0.0 documentation.
Cheers,
Guido
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
