我有以下代码： from minizinc import Instance, Model, Solver
DATA = "ins-1.dzn"
file.write(result["p"][i][0] + " " + result["p"][i][1] + "\n") 在执行之后，我得到了<e
浏览 25提问于2021-07-20得票数 0
1回答
我通过anaconda prompt在python上安装了minizinc，就像安装其他包一样。 pip install minizinc 程序包显示它已成功安装，我可以导入模块。但是，我遵循的是基本的示例https://minizinc-python.readthedocs.io/en/latest/getting_started.html#a-basic-example，但是一旦我
浏览 16提问于2020-07-21得票数 2
回答已采纳
在使用本机python接口时，我试图通过python调用MiniZinc。我已经创建了nqueens.mzn文件并将其添加到项目的目录中。我得到的错误如下： File "C:/Users/
浏览 2提问于2020-01-12得票数 2
int: x =40;现在假设我从一个数据文件中获得了x的值，用户可以从他们那输入任何值。但我限制用户只输入正数到x。(x不能是负数)。(至少时间).Is在minizinc中有任何方法可以做到这一点。
浏览 10提问于2020-06-08得票数 0
回答已采纳
我想解决一个用Prolog实现得分函数的问题。在优化函数是用另一种语言定义的情况下，是否可以从MiniZinc脚本调用Prolog (或另一种语言)？例如，可以很容易地通过MiniZinc Python包从python中调用MiniZinc。有没有一个接口可以做相反的事情(从MiniZinc调用Python )？
浏览 21提问于2020-05-06得票数 2
回答已采纳
假设我有一个名为abc.mzn的.mzn文件，它如下所示。array[1..3] of int:a;from minizinc import Instance,Model,我希望在这段python代码中使用dzn模
浏览 40提问于2020-04-29得票数 2
回答已采纳
我正在使用Python接口到Minizinc，并从外部文件中读取模型(.mzn)和数据(.dzn)。有办法从Python访问问题数据吗？例如，我使用Minizinc手册中的cakes2 2模型，它有一个决策变量b和一个数据字段面粉。from minizinc import Instance, Model, Solver solver = Solver.lookup(sol
浏览 5提问于2021-10-13得票数 2
回答已采纳
1回答
不久前，我正在写一篇或相关的文章以供发表。本文利用MiniZinc给出了一个求解某一优化问题的MILP模型。我从10个实例中最优地解决10个实例。一位顾问对此进行了回顾，并提到了以下2条评论：
您如何比较MiniZinc与其他最新一代的MILP解决方案，如CPLEX或Gurobi在性能方面？我一直使用MiniZinc，它对我来说很有效。我如何展示MiniZinc所具有的多功能性？是否有参考书目或证明这一点
浏览 6提问于2020-04-28得票数 2
回答已采纳
我想知道是否可以使用Python接口创建一个MiniZinc模型。正如我在文档中看到的，您可以将模型作为字符串添加，但这与您随后调用的外部MiniZinc文件没有什么不同。我希望创建一个模型，该模型使用依赖于先前计算的变量，因此不是我可以在运行Python代码之前提供的固定值。这有可能吗？
浏览 8提问于2021-04-25得票数 1
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
1回答
我曾短暂接触过CP和MiniZinc，但我不是专家。我试图用传递给minizinc的-a标志来解决这个模型。1.6但我注意到许多正在打印的解决方案是相同的。
指的是“投影”。在另一篇文
浏览 1提问于2014-09-23得票数 0
回答已采纳
我试图在单个mzn文件中应用如下结构：constraint ...;solve%% second set of constraintsconstraint ...;如果第二组约束是应用于第一次solve，操作结果的约束，那么单独执行操作将减少搜索空间，从而减少计算时间，这也是我首先提出这种结构的原因。因为MiniZinc不允许两个
浏览 0提问于2017-05-05得票数 0
回答已采纳
1回答
我在~/.bashrc文件中有应用程序minizinc，我可以在bash上调用它。我正在构建一个从bash调用minizinc的Rails应用程序，但我不能这样做。执行此命令后：我得到以下错误：如何在应用程序中更改Rails应用程序用户的PATH变量
浏览 3提问于2014-10-16得票数 0
我希望使用minizinc来解决优化问题。我正在通过细胞魔术在木星笔记本上使用它，如下所示。constraint a*(x*x) + b*x = c;[Out]: [{'x': -4}, {'x': 0}]
但是，当我试图将所有可能的解决方案绑定到py
浏览 2提问于2021-04-21得票数 1
回答已采纳
1回答
代码是： """instance["A"] = range(3, 8) # MiniZinc: 3..8
instance["B"] = {
浏览 1提问于2021-01-14得票数 0
最初，在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 n
浏览 0提问于2018-08-23得票数 0
回答已采纳
当我在终端运行"python3“，当我从那里运行"from app import db”时，我得到了一个导入错误： ImportError: cannot import name 'Mapping' from'collections' (/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/collectio
浏览 657提问于2021-09-29得票数 14
回答已采纳
我正在熟悉MiniZinc的基础知识。因此，我用MiniZinc IDE编写了一些代码片段，如string: s2 = "world";
能帮我吗？由于我将使用Gecode (然后我有Gist)将我的代码实际投入到生产中，我能遵循这条路线吗？
任何暗示都感谢
浏览 3提问于2015-01-22得票数 2
回答已采纳
Foo = { A, B };output [ "foo: \(foo)" ];此输出失败：MiniZincsolve satisfy;Compiling test.mznfoo: <>Finished in 136msecsolve satisfy;
浏览 3提问于2017-11-30得票数 1
回答已采纳
1回答
假设我有一个订单批处理问题(在仓库上下文中)，我想借助启发式解决这个问题。特别是，我想为多个交叉通道的仓库实现一些著名的启发式方法，例如S形和最大间隙启发法。对此的一些见解将受到深深的赞赏。
浏览 0提问于2018-08-15得票数 2
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
