[gecode-users] fzn-gecode -mode gist and variable names

[Mats Carlsson]

Hi, I have a problem with fzn-gecode -mode gist, Gecode trunk 14847,
MiniZinc 2.0.13.
Namely, anonymous variable names like var[123] get displayed instead of the
variable names of the .fzn file.  Admittedly, the latter names are a bit
awkward, but at least they enable me to relate back to the names of the
MiniZinc model.  But I have no idea how to map the var[...] names to the
names of the .fzn file. I have tried to edit the .fzn file in various ways
to make Gist use its names, but it has not helped.  Is there some
work-around?

See the attachment for an example.

-- 
Mats Carlsson, SICS
www.sics.se/~matsc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20160719/532b65ca/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tree.pdf
Type: application/pdf
Size: 13792 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20160719/532b65ca/attachment.pdf>