Yes, for these examples I added the tracing as an example how to do it. Cheers Christian
-- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -----Original Message----- From: Johannes Waldmann [mailto:johannes.waldm...@htwk-leipzig.de] Sent: Wednesday, January 18, 2017 11:17 To: cschu...@kth.se; users@gecode.org Subject: Re: [gecode-users] tracing without programming? 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.
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
