[gecode-users] tracing without programming?

[Christian Schulte]

Hi,

Using tracing without adding something to the code is not possible. However,
tracing does not trace search it traces propagation and is really not meant
for instructional purposes.

Have you tried Gist instead: that helps a lot to understand search.  Just
invoked fz.exe with -help. It will tell you that you can use -mode gist as a
commandline option.

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Johannes Waldmann
Sent: Tuesday, January 17, 2017 12:09
To: users at gecode.org
Subject: [gecode-users] tracing without programming?

Dear all,

the changelog for 5.0.0 says
"added extensive tracing functionality".

is there a way to get traces without touching source code:

some command line option for the flatzinc back-end?
for running the gecode examples?

I want my students to get a feeling for how the search proceeds, but I do
not want to require of them (in my current course) to write/change models in
C++. (Not because I don't think they could do it, but because there is
little time.)

- Johannes.

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
-------------- 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/20170117/96781e9b/attachment.bin>