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, [email protected] Expert Researcher, SICS, [email protected] -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Johannes Waldmann Sent: Tuesday, January 17, 2017 12:09 To: [email protected] 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 [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
