[gecode-users] Verbose output to trace propagation

[Sebastian Albert]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: OpenPGP digital signature
URL: <http://www.gecode.org/pipermail/users/attachments/20161022/8fc5a758/attachment.sig>