个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
25
4
我目前正在研究 MiniZinc，并且我一直在使用 MiniZinc 中集成的两个求解器运行我的模型:Gecode 和 Chuffed。我一直在 IDE 中运行它，但我知道它也可以在 bash 中运行(使用 minizinc 命令)。
但我想测试我的模型如何使用 Google 的 CP 求解器，称为 OR-Tools。但我真的不知道怎么做。我在 Ubuntu 18.04 中安装了 MiniZinc snap，但我可以下载 MiniZinc 的新目录并在本地运行它，并在那里配置求解器(而不是在 snap 安装中，因为 snap 目录无法修改)。
我需要一种方法来安装 OR-Tools 并使其至少在终端中工作(但从 IDE 运行它会很完美)。
最佳答案
MiniZinc 用途 solver configuration files找到可用的求解器。但是，如果求解器不提供配置文件。 IDE 可以帮助您通过以下简单步骤为求解器添加用户配置文件。
关于installation - 如何在 MiniZinc 中安装 Google 的 CP 求解器 OR-Tools？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61534787/
25
4
0
我想在 MiniZinc 中用相同的项目创建两个数组，不一定按相同的顺序。在这里，A0 中的每一项也应该在 A1 : array[1..3] of var int:A0; array[1..3] of
假设我想计算 {1,2,..100} 的 80 个元素子集的数量，使它们的总和为 3690。 我有以下模型: array[1..100] of var 0..1: b; constraint (sum
我看到 MiniZinc Handbook 中的各个地方都使用了 $ (主要在 Reference Manual 部分)，但我一直找不到定义。有人可以向我解释一下吗？谢谢。 最佳答案 MiniZinc
在斑马谜题 ( http://rosettacode.org/wiki/Zebra_puzzle#MiniZinc ) 的解决方案中，有一个约束条件，规定其中一只宠物必须是斑马: var 1..5:
在斑马谜题 ( http://rosettacode.org/wiki/Zebra_puzzle#MiniZinc ) 的解决方案中，有一个约束条件，规定其中一只宠物必须是斑马: var 1..5:
我正在尝试解决 MiniZinc 中的一个练习，其中部分排序关系由二维数组给出: enum NODE = { A, B, C, D, E }; int : SOURCE = 1; int : TARG
我正在熟悉 MiniZinc 的基础知识。因此，借助 MiniZinc IDE，我编写了如下代码片段 solve satisfy; string: s1 = "hello"; string: s2 =
锌规范是这样说的: If no output item is present, the implementation should print all the global variables and
MiniZinc 中的 channel 是什么？你能提供一个简单的例子来解释 channel 吗？最后，什么是逆？ 最佳答案 两者都用于建立两个数组之间的双向关系。 设 f 是一个数组，index_s
FlatZinc 文档说 只有非标谓词必须在 FlatZinc 模型的顶部声明: Predicates used in the model that are not standard FlatZinc
我有一个二维网格，其中某些单元格值会产生不同的分数，我想通过为单元格分配值来最大化分数。是否可以跟踪求解器在求解过程中尝试的每个网格？下面是模型的一个片段，只是为了演示这个想法。 int: i_cou
picat求解器 (v. 2.6#2) 指出示例模型 knights.mzn包含在 minizinc 存储库中，特此复制粘贴: % RUNS ON mzn20_fd % RUNS ON mzn-fzn
尝试学习 minizinc，但在完成示例之后，我是否可以确认，如果我想获得多个输出，或者有一种更“自然的 minizinc”方式来获得它，我实际上必须编写一些程序语言。 例如，假设我想让所有不同的数字
练习是: n个人想要拍一张合影。每个人都可以给出他或她旁边的偏好想要放置在照片上。要解决的问题是找到满足最大数量的放置位置偏好。 到目前为止我编写的代码: include "globals.mzn";
我正在尝试编写一个带有嵌套循环的输出语句，以及在外部级别的重要输出。如果 Minizinc 有一个顶级 for 命令，我会做类似的事情 for (f in Foo) ( output(["Foo:
我想检查 1 到 5 之间的哪个数字没有出现在数组组中，并将这个(或多个)数字放在另一个数组中。 g=2; set of int: GROUPS = 1..g; groups = [{1, 3}, {
问题 给定一个 MiniZinc 字符串数组: int: numStats; set of int: Stats = 1..numStats; array[Stats] of string: stat
我有一个变量，它应该只在特定条件下有一个值，所以我想它需要是一个可选变量。如果满足该条件，则可选变量应限制为集合的元素。 问题是，MiniZinc 似乎不喜欢可选变量和集合。 如何重写，使 MiniZ
我如何使用嵌套 for 循环(就像下面 java 所做的那样)在 Minizinc 中生成/填充数组？ int[][] input1 = {{1,1,1}, {3,3,3}, {5,5,5} }; i
我正在使用 minizinc 和 gecode 以分布式方式解决最小化问题。我有多个分布式服务器，它们使用相同的输入来解决相同的模型，并且我希望所有服务器都能获得相同的解决方案。 问题是模型有多个解决
我是一名优秀的程序员,十分优秀！