如何在 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 使用求解器配置文件来查找可用的求解器。但是，如果求解器不提供配置文件。IDE 可以帮助您通过以下简单步骤为求解器添加用户配置文件。

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