有没有一种方法可以格式化MiniZinc输出，例如，创建一些条目是字符串的表，其大小在计算过程中确定？1234)))"];no function or predicate with this signature found: `length(string)'
更新:我正在教授如何使用MiniZinc每个函数的输出都是格式化的</em
浏览 16提问于2019-10-24得票数 2
我想解决一个用Prolog实现得分函数的问题。在优化函数是用另一种语言定义的情况下，是否可以从MiniZinc脚本调用Prolog (或另一种语言)？例如，可以很容易地通过MiniZinc Python包从python中调用MiniZinc。有没有一个接口可以做相反的事情(从MiniZinc调用Python )？
浏览 21提问于2020-05-06得票数 2
回答已采纳
Jupyter/Linux下的MiniZinc中的输出命令没有执行。运行时： var int: one_var; solve satisfy;我得到了而不是
我的<
浏览 1提问于2018-12-18得票数 0
1回答
我正尝试在Ubuntu上运行一个使用minizinc模块的Python脚本。RuntimeWarning: MiniZinc was not found on the system.No default driver could be initialized.
minizinc模块文档警告了Linux系统上的这个错误，并指出可以
浏览 8提问于2021-05-06得票数 0
我试图在MiniZinc中使用字符串连接运算符定义一个约束，解决变量a和b的问题。constraint("var1/var2" = (a ++ "/" ++ b));
output ["\nx=", show(a)];MiniZincmatching operator found with left-hand side type `string' and
浏览 4提问于2015-07-01得票数 3
回答已采纳
我想将一个大输入数组的初始化分割成更小的块(只是为了可读性)。satisfy;arr[1] = [0,0]; Error: syntax error, unexpected =, expecting ':'
这不是Minizinc支持的吗，还是我错过了其他东西？(有一个与有关的问题，但没有回答我的具体问题。)
浏览 1提问于2018-06-18得票数 2
回答已采纳
1回答
我目前正在开发MiniZinc，我一直在使用集成在MiniZinc中的两个求解器运行我的模型: Gecode和Chuffed。我已经在IDE中运行了它，但是我知道它也可以在bash中运行(使用minizinc命令)。
但我想测试我的模型如何使用谷歌的CP解决方案，称为OR-Tools。但我真的不知道怎么做。我在Ubuntu18.
浏览 5提问于2020-04-30得票数 7
回答已采纳
这似乎是一个简单的问题，但我找不到用MiniZinc表示这个问题的简单方法。of int: t;
constraint alldifferent(t);
此程序错误有：MiniZinc: type error: type-inst must be par set but is ``var set of int'
是否有一种清晰/简单的方法
浏览 1提问于2020-07-10得票数 3
回答已采纳
我正在熟悉MiniZinc的基础知识。因此，我用MiniZinc IDE编写了一些代码片段，如string: s2 = "world";
能帮我吗？由于我将使用Gecode (然后我有Gist)将我的代码实际投入到生产中，我能遵循这条路线吗？
任何暗示都感谢..。length(V) == 0
浏览 3提问于2015-01-22得票数 2
回答已采纳
我试图在单个mzn文件中应用如下结构：constraint ...;solve%% second set of constraintsconstraint ...;如果第二组约束是应用于第一次solve，操作结果的约束，那么单独执行操作将减少搜索空间，从而减少计算时间，这也是我首先提出这种结构的原因。因为MiniZinc<
浏览 0提问于2017-05-05得票数 0
回答已采纳
默认情况下，mzn2fzn会自动计算MiniZinc模型中浮点除法的结果，并将其存储为结果FlatZinc模型中的常量浮点值。1000000000000000000000000000000000.0;翻译成变得相等于solve satisfy;
相反，我们想要获得的是一个constraint float_div(2.0, 100000000000000000000000000
浏览 2提问于2018-12-19得票数 1
回答已采纳
1回答
不久前，我正在写一篇或相关的文章以供发表。本文利用MiniZinc给出了一个求解某一优化问题的MILP模型。我从10个实例中最优地解决10个实例。一位顾问对此进行了回顾，并提到了以下2条评论：
您如何比较MiniZinc与其他最新一代的MILP解决方案，如CPLEX或Gurobi在性能方面？我一直使用MiniZinc，它对我来说很有效。我如何展示MiniZinc所具有的多功能性？是否有参考书目或证明这一点的方法？
浏览 6提问于2020-04-28得票数 2
回答已采纳
最初，在Git CMD中运行minizinc mzn-cbc model.mzn data.mzn时出现错误：minizinc is not recognized as an internal or external后来，按照上的说明和的建议，我这样做了：export PATH=$PATH:{MINIZINC}，其中{MINIZINC}是安装位置。但是，我的终端返回错误：'export' is not recogn
浏览 0提问于2018-08-23得票数 0
回答已采纳
我想知道是否可以使用Python接口创建一个MiniZinc模型。正如我在文档中看到的，您可以将模型作为字符串添加，但这与您随后调用的外部MiniZinc文件没有什么不同。我希望创建一个模型，该模型使用依赖于先前计算的变量，因此不是我可以在运行Python代码之前提供的固定值。这有可能吗？
浏览 8提问于2021-04-25得票数 1
问题是int: numStats;array[Stats] of string: statNames使用从MiniZinc数据文件加载的数据：statNames = ["HEALTH", "ARMOR", "MANA"];
如何查找数组中特定字符串的索引？由于数据文件是由外部
浏览 1提问于2016-03-03得票数 3
1回答
假设我有一个订单批处理问题(在仓库上下文中)，我想借助启发式解决这个问题。特别是，我想为多个交叉通道的仓库实现一些著名的启发式方法，例如S形和最大间隙启发法。对此的一些见解将受到深深的赞赏。
浏览 0提问于2018-08-15得票数 2
回答已采纳
假设我用.dzn运行一个.mzn，并在集成开发环境中得到如下输出： Supplier01,100,100,100,100,100,100,100,100,100,100,100,100Supplier06,500,500,500,500,500,500,500,500,500,500,500,500==========
浏览 23提问于2020-04-17得票数 2
我正在尝试在MiniZinc中实现higher-order functions。我不确定是否可以将一个函数直接传递给另一个函数，所以我使用了一个带有函数名列表的枚举： var int : a;
0solve satisfy;
output [show(a)]; 这个方法是有效的</e
浏览 16提问于2019-06-10得票数 1
云服务器
ICP备案
对象存储
实时音视频
云直播
腾讯云开发者
