On 01/17/2017 01:46 PM, Christian Schulte wrote:
> Please consult MPG, it explains Gist.
Right. ("Node -> Label branches" could be on by default?)
I will use Gist some more in the next iteration of my course.
(10.1) "Each node in the tree represents a fixpoint of propagation".
I wish there was a way to visualize individual propagation steps.
Since this thread is originally about tracing: I found that
MPG mentions that some examples are compiled with tracing enabled.
Grepping the source suggests that these are descartes-folium,
hamming, and money. Indeed `money -trace all` looks nice,
and it does show individual propagations.
Best regards - J.
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
