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@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
