MiniZinc在Jupyter/Linux中的输出命令

Question

Jupyter/Linux下MiniZinc中的输出命令未执行。

运行时：

%%minizinc 
var int: one_var;
constraint one_var = 1;
solve satisfy;
output ["my var = (2*one_var)n"];

我得到

｛'one_var'：1｝这是标准MiniZinc变量的输出，

而不是

我的var=2

谢谢Ido

Answer 1

这个问题是在一个MiniZinc GitHub存储库上回答的：

Hi-Ido，

恐怕这是意料之中的行为。使用IPython时MiniZinc的接口，MiniZinc变量进行通信直接返回到Python，并忽略输出项。这是类似于在命令行上设置MiniZinc的输出模式。您可以使用python以任何您喜欢的方式格式化变量。如果你想要对变量进行数学转换，甚至可以将它们添加到模型中：var int: my_var = 2*one_var;

有一件事可能很有趣，那就是在python包中添加一个功能以打印格式化的输出陈述请注意，这只会将输出添加到屏幕和打印语句输出将无法在其他而不是作为字符串。

请随时在中打开此功能的功能请求相应的存储库：https://github.com/MiniZinc/iminizinc.我会的关闭此问题，因为它与MiniZincIDE 无关