回答情况：
提问时间：
问题标签：
1回答
这项工作是：到目前为止，我编写的代码：int: n;array[1..n_prefs, 1..2] of var 1..n: prefs;
array [1..n] of var 1..n: photo_arrangement; all_differen
浏览 1提问于2017-11-02得票数 2
回答已采纳
pip说minizinc已经安装了，但当我尝试在代码中调用它时，它给我一个错误，说它没有安装。./Users/miranda/.local/share/virtualenvs/backend-BjqhdW2P/lib/python3.8/site-packages/minizinc/__init__.py:25: R
浏览 36提问于2021-03-30得票数 0
回答已采纳
我在不同的地方见过“点-点”符号(..)。在下面的示例中，0..n告诉我们决策变量的域(在本例中，它是数组s的条目)。array[0..n-1] of var 0..n: s;constraint forall(i in 0..sequence_length)();par var 1..5: x
我的感觉是，在定义变量(而不是参数)时，通常使用表达式m..n，并且希望指定变量的域。但在
浏览 2提问于2017-07-12得票数 1
回答已采纳
在优化函数是用另一种语言定义的情况下，是否可以从MiniZinc脚本调用Prolog (或另一种语言)？
例如，可以很容易地通过MiniZinc Python包从python中调用MiniZinc。有没有一个接口可以做相反的事情(从MiniZinc调用Python )？
浏览 21修改于2020-05-27得票数 2
回答已采纳
是否有任何方式(直接或间接)可以在minizinc中支持pow约束。Gecode支持带有浮点和int变量的，但是Minizinc和FlatZinc不支持变量的pow。Minizinc和Flatzinc只对模型的参数支持pow。任何关于在何处添加MiniZinc中对Flatzinc (mzn2fzn)解析器的支持的指针都可以这样做。
浏览 2提问于2014-04-01得票数 3
回答已采纳
代码是： """instance["A"] = range(3, 8) # MiniZinc: 3..8
instance["B"] = {
浏览 1修改于2021-02-11得票数 0
我有一个包含3个变量数组的MiniZinc程序，其形式如下：array[NbLines, NbRows] of var Domain有类似于MiniZinc的代码：MiniZinc表示数组理解表达式中不允许数组
浏览 2修改于2017-01-29得票数 1
回答已采纳
我正尝试在Ubuntu上运行一个使用minizinc模块的Python脚本。RuntimeWarning: MiniZinc was not found on the system.No default driver could be initialized.
minizinc模块文档警告了Linux系统上的这个错误，并指出可以使用minizinc.find_driver()函数手动提供驱动程序的路径
浏览 8修改于2021-05-07得票数 0
是否有可能调用minizinc中定义的约束模型，作为来自C++程序的函数调用？我的环境是2017年(如果重要的话)。
浏览 1提问于2018-10-13得票数 1
回答已采纳
我正在尝试创建一个返回矩阵中当前访问行的索引值的MiniZinc函数，但是我不知道怎么做，因为我对MiniZinc非常陌生，所以代码可能包含一些错误。
浏览 11修改于2020-01-14得票数 0
我正在使用Python接口到Minizinc，并从外部文件中读取模型(.mzn)和数据(.dzn)。有办法从Python访问问题数据吗？例如，我使用Minizinc手册中的cakes2 2模型，它有一个决策变量b和一个数据字段面粉。from minizinc import Instance, Model, Solver solver = Solver.lookup(solverToUse
浏览 5提问于2021-10-13得票数 2
回答已采纳
我正在尝试在MiniZinc中实现higher-order functions。有没有其他方法可以在MiniZinc中实现高阶函数？
浏览 16修改于2019-06-10得票数 1
我正在将aimms中的模型转换为minizinc。，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-22得票数 0
本文利用MiniZinc给出了一个求解某一优化问题的MILP模型。我从10个实例中最优地解决10个实例。一位顾问对此进行了回顾，并提到了以下2条评论：
出于什么原因，你不建议在摘要中提及
浏览 6修改于2020-05-26得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号