[gecode-users] tracing without programming?

[Christian Schulte]

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, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se


-----Original Message-----
From: Johannes Waldmann [mailto:johannes.waldmann at htwk-leipzig.de] 
Sent: Wednesday, January 18, 2017 11:17
To: cschulte at kth.se; users at 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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4623 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20170118/6127e404/attachment-0001.bin>