Jupyter / Linux中MiniZinc的输出命令

时间:2018-12-17 16:35:18

标签: linux jupyter-notebook minizinc

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

谢谢 伊多

1 个答案:

答案 0 :(得分:0)

MiniZinc GitHub repositories之一上回答了这个问题:

  

你好伊多,

     

恐怕这是预期的行为。使用IPython时   与MiniZinc的接口,可以传递MiniZinc变量   直接返回到Python并忽略输出项。这是   类似于在命令行上为MiniZinc设置输出模式。   您可以使用python以任何您喜欢的方式格式化变量。如果你   想要对变量进行数学转换   将它们添加到模型中:Customer

     

一件有趣的事是   向python包添加功能以打印格式化的输出   声明。请注意,这只会将输出添加到屏幕,并且   打印语句输出将无法在其他上进一步使用   而不是字符串。

     

可以在以下位置随意打开此功能的功能请求   相应的存储库:https://github.com/MiniZinc/iminizinc。生病   关闭此问题,因为它与MiniZincIDE无关