我想解决一个用Prolog实现得分函数的问题。在优化函数是用另一种语言定义的情况下，是否可以从MiniZinc脚本调用Prolog (或另一种语言)？例如，可以很容易地通过MiniZinc Python包从python中调用MiniZinc。有没有一个接口可以做相反的事情(从MiniZinc调用Python )？
浏览 21提问于2020-05-06得票数 2
回答已采纳
我试图在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
回答已采纳
锌规范上写着：
我已经尝试过默认命令(minizinc)和mzn-gecode。我非常希望避免重复输出表达式中的所有变量名。我真正想要的是以某种结构化格式(如YAML)输出所有决策变量，但我会满足于某种方式来避免这种重复。澄清一下:我的
浏览 3提问于2014-08-16得票数 4
回答已采纳
1回答
在minizinc中，你可以使用像' sum‘这样的聚合函数来对数组中的所有项求和。,[0,1, 2, 3, 4, 5, 6, 7, 8, 9, 10]);有没有办法以类似的方式连接数组的所有字符串
浏览 4提问于2019-08-09得票数 1
回答已采纳
假设我有一个名为abc.mzn的.mzn文件，它如下所示。array[1..3] of int:a;from minizinc import Instance,Model,如您所见，我们需要使用instance1=手动为所有参数赋值
浏览 40提问于2020-04-29得票数 2
回答已采纳
1回答
我曾短暂接触过CP和MiniZinc，但我不是专家。我试图用传递给minizinc的-a标志来解决这个模型。1.6但我注意到许多正在打印的解决方案是相同的。我还是不清楚
浏览 1提问于2014-09-23得票数 0
回答已采纳
1回答
不久前，我正在写一篇或相关的文章以供发表。本文利用MiniZinc给出了一个求解某一优化问题的MILP模型。我从10个实例中最优地解决10个实例。一位顾问对此进行了回顾，并提到了以下2条评论：
您如何比较MiniZinc与其他最新一代的MILP解决方案，如CPLEX或Gurobi在性能方面？我一直使用MiniZinc，它对我来说很有效。我如何展示MiniZinc所具有的多功能性？是否有参考书目或证明这一点的方法？由于Min
浏览 6提问于2020-04-28得票数 2
回答已采纳
问题是int: numStats;array[Stats] of string: statNames使用从MiniZinc数据文件加载的数据：statNames = ["HEALTH", "ARMOR", "MANA"];
如何查找数组中特定字符串的
浏览 1提问于2016-03-03得票数 3
我试图用嵌套循环编写一个输出语句，并在外部级别编写一个非平凡的输出。如果Minizinc有顶级for命令，我将执行以下操作 output(["Foo: ", f]) for (q in"]);所以如果它会输出1 25 6我想我可以用这样的方法我看到了不同的，因为<e
浏览 2提问于2017-11-22得票数 4
回答已采纳
我试图在单个mzn文件中应用如下结构：constraint ...;solve%% second set of constraintsconstraint ...;如果第二组约束是应用于第一次solve，操作结果的约束，那么单独执行操作将减少搜索空间，从而减少计算时间，这也是我首先提出这种结构的原因。因为MiniZinc不允许两个
浏览 0提问于2017-05-05得票数 0
回答已采纳
如何在集成开发环境中或通过数据文件为用MiniZinc表示的优化问题提供起始解决方案，例如，加快相应fd求解器(在本例中为Gecode)的求解过程？
浏览 1提问于2016-11-28得票数 0
2回答
我试图在Minizinc中建模下一个约束：
假设S是一个大小为n的决策变量数组，我希望我的决策变量取1-k之间的值，但是在所使用的连续值的数目上有一个最大的'Cons_Max‘。例如，假设Cons_Max = 2，n=8，k= 15，则序列1,2,4,5,7,8,10,11是有效序列，而例如，1,2,3,5,6,8,9,11不是有效序列，因为这里连续值的最大值等于3 (1,2,3需要注意的
浏览 5提问于2016-10-26得票数 1
回答已采纳
我找到了搜索注释，如int_search(q, first_fail, indomain_min)，但例如，我希望算法选择节点程度最高的下一个节点，假设它会导致更快的失败，因为高度级别的节点删除了许多变量(其邻居)域的颜色。
浏览 5提问于2021-10-04得票数 2
回答已采纳
3回答
如何在Android中解析Json字符串数组并将其保存在java字符串数组中(如: xy )？我要解析的Json： { }稍后在我的代码中，我想用这个数组填充我布局<em
浏览 2提问于2013-10-05得票数 13
回答已采纳
我在高尔夫球手的问题上有很多种(每周都应该有一个小组，这样两名球员不能在一起玩一次，每个人每周都打一次)：set of int: G=1..gr;globals.mzn";
我的约束如下satisfy;
output [ show(X[i,j]) ++ if j == we then "\n" e
浏览 7提问于2016-11-05得票数 0
回答已采纳
1回答
对于MiniZinc语言的一些通用注释的含义和用法，我有一些疑问。请解释何时使用，如有可能，请举例说明。将带注释的变量声明为功能定义。此注释由编译器引入到FlatZinc代码中。
变量是函数定义的，这意味着什么？什么时候应该使用呢？这是当您引入您自己的函数时，还是也可以用于已经定义的</
浏览 0提问于2018-03-27得票数 2
回答已采纳
1回答
我如何在MinGW中与GCC连接(甚至分配)两个字符串(我猜是MinGW数组)？它们各自的赋值函数(如StringCchCpy和_tcscpy )也是如此。
浏览 8提问于2012-02-08得票数 2
回答已采纳
我有一个Minizinc程序，为电网连接的电池产生最佳的充放电计划，给出一组按时间间隔的价格。中的增量，而PROFIT是SALE * PRICE的每一个间隔。但是，在不抛出语法错误的情况下，我无法将它们表述为赋值语句。
是否有一种更惯用的方法来为数组声明这样的赋值语句，数组是其他参数/变量的函数？还是用constraint为
浏览 3提问于2020-04-08得票数 3
回答已采纳
3回答
集合的VBA连接等效项
、、、
如何在VBA中加入集合。在VB.net中，我通常使用Join(...，“分隔符”)连接数组，但我不知道如何在VBA中使用集合来连接数组。IsEmpty(cell) Then
oColl.Add ("a = ''" + cell.Text + "'' ")Next
现在，我需要将所有集合值连接
浏览 3提问于2012-03-05得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
