output - Minizinc 无输出

Question

为什么我在 MiniZinc 中没有输出？我的程序这样结束：

var int: Cost = sum (p in 1 .. nP) (Score [p]);
solve minimize Cost;
output ["Test"];

我得到的只是：运行 scheduler.mzn 54 毫秒内完成

2/7/15 再次发生。这是精简的代码：

array[1 .. 2] of var int: D; 
array[1 .. 2] of var int: F; 
array[1 .. 2] of var int: S; 
constraint forall (i in 1 .. 2) (S [i] = D [i] * F [i]); 
var int: Cost = 1; 
solve minimize Cost; 
output ["test"]; 

我没有得到任何输出，也没有“不满意”。

Answer 1

至少在控制台模式下的 MiniZinc 2.0.0 中，该示例有效：

minizinc example.mzn 
test
----------
==========

使用 example.mzn 包含您的代码：

array[1 .. 2] of var int: D; 
array[1 .. 2] of var int: F; 
array[1 .. 2] of var int: S; 
constraint forall (i in 1 .. 2) (S [i] = D [i] * F [i]); 
var int: Cost = 1; 
solve minimize Cost; 
output ["test"];

所以它按预期显示“测试”。