Hi Sebastian, Funnily enough, the upcoming Gecode 5 will have quite extensive support for tracing. Gecode 5 should be ready for download anytime soon (the features are all there, it is just final release testing).
Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Sebastian Albert Sent: Saturday, October 22, 2016 09:41 To: users@gecode.org Subject: [gecode-users] Verbose output to trace propagation Hello Gecoders I am rather new to Gecode, and during my first steps (with Float variables, actually), I'd like to see what the propagators are doing (because I don't see the float intervals pruned as much as I would have expected). While Gist offers great insights into search and branching, I did not find a neat facility to trace propagation. I'm using the minimodel, so a way of actually seeing the generated expressions, auxiliary variables and their propagators might also help. Is there any option other than spraying "std::cout << foo << bar << std::endl" into every other Gecode source code line? Maybe a specialized Space class to derive from? By the way, the links to GMANE are broken. Actually, the search function on dir.gmane.org itself is also a dead link. (So sorry for not having "searched" the archive...) Best Sebastian
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
