我如何在 MiniZinc 中安装 Google 的 CP 求解器 OR-Tools？

Question

我目前正在研究 MiniZinc，并且我已经 运行使用集成在 MiniZinc 中的两个求解器来构建我的模型：Gecode 和 Chuffed。我已经在 IDE 中 运行 绑定它，但我知道它也可以在 bash 中 运行 绑定（使用 minizinc 命令）。

但我想测试我的模型如何使用 Google 的 CP 求解器，称为 OR-Tools。但我真的不知道怎么办。我在 Ubuntu 18.04 中安装了 MiniZinc snap，但我可以在本地下载 MiniZinc 和 运行 的新目录，并在那里配置求解器（而不是在 snap 安装中，因为无法修改 snap 目录).

我需要一种方法来安装 OR-Tools 并使其至少在终端中工作（但是 运行 它来自 IDE 将是完美的）。

Answer 1

MiniZinc 使用 solver configuration files 寻找可用的求解器。但是，如果求解器不提供配置文件。 IDE 可以帮助您通过以下简单的步骤为求解器添加用户配置文件。

1. 打开首选项window。
2. 在求解器 selection 中，select“添加新...”
3. 输入您要添加的解算器的详细信息。最重要的是可执行文件的位置及其 MiniZinc 库的位置。

Edit/Addition: 获取必要的可执行文件

正如 Stradivari 在上面的评论中提到的那样，版本在 or-tools @ Github.

分发

从遵循 or-tools_flatzinc_{XXX}_{VERSION}.zip 命名方案的资源之一中选择相应的资源。