OZN-Output: unfortunately MiniZinc "loses" identifiers defined in enumerations

[Armin Wolf]

Dear all,

I have implemented a lock scheduling application in MiniZinc where I am generating
JSON output as well as TikZ/LaTeX output of the generated lock schedules.

When I am using an "integrated" MiniZinc solver everything is fine and I receive

a graphical output (after processing with LaTeX) containing all identifiers, i.e ship 

names and locations which are defined in enumerations in the input:

  

However, if I am generating a FlatZinc program and an OZN file and using a FlatZinc
solution and the OZN file, the generation of the JSON output works well (not containing
the identifers/names in the enumeration of the input) but in the graphical output the
names are missing - they are replaced by numbers:

Does anybody has an idea why the identifiers are lost? -- Here is the interesting part of

the input data (in JSON):

"locations" : [{"e" : "vor"}, {"e" : "nach"}],
"segments" : [{"e" : "vor_Flaesheim"}, {"e" : "nach_Flaesheim"}],

...

"locks" :[{"e" : "Flaesheim"}],

...

"ships" : [ {"e" : "Symphony"}, {"e" : "Meandro"} ],

Many thanks in advance

Armin