[gecode-users] tracing without programming?

[Johannes Waldmann]

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.