[gecode-users] tracing without programming?

[Christian Schulte]

Please consult MPG, it explains Gist. It can do much more...

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 Johannes Waldmann
Sent: Tuesday, January 17, 2017 13:43
To: cschulte at kth.se; users at gecode.org
Subject: Re: [gecode-users] tracing without programming?

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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4623 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20170117/fe3b732a/attachment.bin>