有没有办法在MiniZinc中格式化字符串？

Question

是否可以格式化MiniZinc输出以创建例如表，其中某些条目是字符串，其大小在计算过程中确定？

作为测试用例，我尝试运行

output ["\(length(show(1234)))"];

但收到一条错误消息，提示

no function or predicate with this signature found: `length(string)'

更新：我正在教有关使用MiniZinc进行计划问题的知识。这是两个示例：Wolf-Goal-Cabbage和N-Jugs。每个输出的格式。

Answer 1

MiniZinc支持string_length，因此可以正常工作：

output ["\(string_length(show(1234)))"];

支持许多用于格式化的字符串函数，例如show_int，format等，请参见https://www.minizinc.org/doc-2.3.2/en/lib-builtins.html?highlight=string#string-operations