Hi Christian, > tracing does not trace search it traces propagation and is really not meant > for instructional purposes.
sorry for not being clear enough, "propagation" *is* a topic of my course. (using parts of Chapter 7 of: Apt: Principles of C.P.) > Have you tried Gist instead: Thanks, I will. - What does it do, exactly: it does run a full search (until next or all solutions), then draws the tree? I see that I can inspect a node, to see a domain assignment. Is it also possible to "inspect an edge", that is, to see why the domain assignment changed when going from a node to its child? - J. _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
