[gecode-users] tracing without programming?

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Wed Jan 18 11:17:25 CET 2017


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.




More information about the users mailing list