Minizinc no输出
Minizinc no输出
提问于 2015-02-02 22:08:21
为什么我在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"]; 我没有得到任何输出，也没有“无法满足的”。
回答 1
Stack Overflow用户
发布于 2015-08-01 18:28:17
至少在控制台模式下的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"];因此，它会像预期的那样显示"test“。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/28279563
复制相关文章
相似问题
腾讯云开发者
