Is there a way to format MiniZinc output to create, for example, tables in which some of the entries are strings, whose size is determined during the computation?
As a test case I tried to run
output ["\(length(show(1234)))"];
but got an error message that said
no function or predicate with this signature found: `length(string)'
UPDATE: I'm teaching about using MiniZinc to do planning problems. Here are two examples: Wolf-Goal-Cabbage and N-Jugs. The output of each is formatted.