1回答
我正在尝试创建一个返回矩阵中当前访问行的索引值的MiniZinc函数，但是我不知道怎么做，因为我对MiniZinc非常陌生，所以代码可能包含一些错误。
浏览 11提问于2020-01-14得票数 0
1回答
我正在将aimms中的模型转换为minizinc。在aimms中，我有一个变量定义为带有index domain (k,i)的X，其中i，s，t是设置小时的索引 指数为i，s，t的X的定义为： sum((s,t) | (s <= i) and (t >= i), Pick(s,k,t) + OverPick(s,k,t)) 我不确定如何在minizinc中编写这个变量。
浏览 29提问于2019-02-21得票数 0
在使用本机python接口时，我试图通过python调用MiniZinc。我已经创建了nqueens.mzn文件并将其添加到项目的目录中。我得到的错误如下： File "C:/Users/Sallo/PycharmProjects/MiniZincTest
浏览 2提问于2020-01-12得票数 2
在MiniZinc中，如何使这段代码在没有错误的情况下编译，“没有找到带有此签名的函数或谓词：‘圆形(var浮点)’”？
浏览 3提问于2015-02-09得票数 3
回答已采纳
我正在使用Python接口到Minizinc，并从外部文件中读取模型(.mzn)和数据(.dzn)。有办法从Python访问问题数据吗？例如，我使用Minizinc手册中的cakes2 2模型，它有一个决策变量b和一个数据字段面粉。from minizinc import Instance, Model, Solver solver = Solver.lookup(solverToUse以下是以与决策变量相同的方式交互请求数
浏览 5提问于2021-10-13得票数 2
回答已采纳
int: x =40;现在假设我从一个数据文件中获得了x的值，用户可以从他们那输入任何值。但我限制用户只输入正数到x。(x不能是负数)。(至少时间).Is在minizinc中有任何方法可以做到这一点。
浏览 10提问于2020-06-08得票数 0
回答已采纳
我正在熟悉MiniZinc的基础知识。因此，我用MiniZinc IDE编写了一些代码片段，如string: s2 = "world";
能帮我吗？由于我将使用Gecode (然后我有Gist)将我的代码实际投入到生产中，我能遵循这条路线吗？
任何暗示都感谢..。length(V) == 0
浏览 3提问于2015-01-22得票数 2
回答已采纳
问题是int: numStats;array[Stats] of string: statNames使用从MiniZinc数据文件加载的数据：statNames = ["HEALTH", "ARMOR", "MANA"];因此，为了写一个约束，比如说，通过选定的</
浏览 1提问于2016-03-03得票数 3
/minizinc -D "vert=[0,1]" foo.mzn./minizinc -D "vert[1]=0" foo.mznError: syntax error, unexpected =, expecting ':'
是否可以在数据文件中仅指定数组的单个索引另一种选择是不使用数组，但这也许是不必要<
浏览 1提问于2019-04-25得票数 2
回答已采纳
1回答
我的minizinc模型运行良好，但我需要将它转换为Java代码，所以我使用了choco来实现它。我现在面临的问题是小公司用不同形式的巧克力加工的机制。我写了我在minizinc中使用的限制，确切地说是在巧克力中，但它没有起作用。假设：array[sub_set] of var cl_set: cl_id;constraint forallcl_id[i].g
浏览 1提问于2016-04-20得票数 2
我有一个索引为1,2,3,4,5的数组S1,4,2,3,0和一个索引为1，2，3，4的数组O2,1,1,2，我必须从这两个数组中生成一个索引为1,2,3,4，5的数组SO2，2，1，0。当我使用约束for and (I in 1..5)(SOi =O[Si])运行时，我得到错误，因为O没有索引0。请帮助我解决这个问题我对minizinc不熟悉，并且我找不到足够的材料来帮助我constraint forall(i in 1..5)
浏览 2提问于2019-10-01得票数 1
我想将一个大输入数组的初始化分割成更小的块(只是为了可读性)。satisfy;arr[1] = [0,0]; Error: syntax error, unexpected =, expecting ':'
这不是Minizinc支持的吗，还是我错过了其他东西？(有一个与有关的问题，但没有回答我的具体问题。)
浏览 1提问于2018-06-18得票数 2
回答已采纳
1回答
映射向量上的上三角矩阵跳过对角线
、、、、
=0; i<n-1; i++) rel(*this, d[k], IRT_GQ, (j-i)*(j-i+1)/2);
转到这个MiniZincMiniZinc是一种函数/数学语言，没有适当的循环。所以我必须把那些指数i和j映射到k上三角形矩阵的所有和唯一的单元格，跳过它的对角线，把这些单元格从0编号到任意的。如果这是一个正则三角矩阵(它不是)，那么
浏览 1提问于2014-10-16得票数 6
回答已采纳
1回答
特别是，我想为多个交叉通道的仓库实现一些著名的启发式方法，例如S形和最大间隙启发法。对此的一些见解将受到深深的赞赏。
浏览 0提问于2018-08-15得票数 2
回答已采纳
我遇到的问题是如何在0..9到b10..19中添加变量。我的代码是：array[0..19]j in 10..19) c[i]=a[i]+b[j]solve satisfy;然而，MiniZinc给出了警告：“在数组理解的调用'forall‘中
浏览 3提问于2017-11-15得票数 1
回答已采纳
我试图用嵌套循环编写一个输出语句，并在外部级别编写一个非平凡的输出。如果Minizinc有顶级for命令，我将执行以下操作 output(["Foo: ", f]) for (q in我看到了不同的，因为所有的输出都在最内部的循环中。我也要输出在外循环中。我认为，接受的答案的一个稍微清晰的版本是
浏览 2提问于2017-11-22得票数 4
回答已采纳
我的数组a类型为int 0,0,0,0,0，0长度为l。我想要计算在下游约束中使用奇数索引的所有元素的和，这里是一些“伪”MiniZinc代码：
最大限度地解决问题；
这是如何做到的呢
浏览 3提问于2015-09-22得票数 0
回答已采纳
虽然我已经安装在我的电脑！仍然得到这个错误：->12个实例=实例(gecode，nqueens) ImportError:无法从'minizinc‘导入名称' instance’所以，我修改了代码:从minizinc.instance导入实例，但我得到了：->12个实例=实例(gecode，nqueens) TypeError:不能用抽象方法实例化抽象类实例中的方法、分支、方法、解决方案。
浏览 3提问于2022-04-30得票数 -1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
