我怎样才能编译这个 MiniZinc 输出语句？

Question

如何修改它以在 MiniZinc 中编译：

output [[show (P[j,p]) ++ "\n" | p in 1 .. 4] | j in 1 .. 4];

我尝试了几种方法。

Answer 1

这取决于你想做什么。这里有一些将 P 写成矩阵的不同方法。第一个将矩阵写成列表 ([...])，第二个只输出值。

output [  
   show([P[j,p] | p in 1 .. 4]) ++ "\n"
   | j in 1 .. 4
];


output [  
   if p = 1 then "\n" else " " endif ++
     show(P[j,p])
    | j in 1 .. 4, p in 1 .. 4
];

更新：在 MiniZinc 2.0 中（至少在最近的 Git 版本中），现在有一个 show2d 谓词：

 output [ show2d(P)];

我怎样才能编译这个 MiniZinc 输出语句？

How can I make this MiniZinc output statement compile?

output

minizinc