[gecode-users] Verbose output to trace propagation

[Christian Schulte]

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, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of 
Sebastian Albert
Sent: Saturday, October 22, 2016 09:41
To: users at 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4599 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20161023/21ab5931/attachment.bin>