我目前正在研究 MiniZinc，并且我一直在使用 MiniZinc 中集成的两个求解器来运行我的模型：Gecode 和 Chuffed。我一直在 IDE 中运行它，但我知道它也可以在 bash 中运行（使用minizinc命令）。
但我想测试我的模型如何使用 Google 的 CP 求解器（称为 OR-Tools）进行处理。但我实在不知道怎么办。我在 Ubuntu 18.04 中安装了 MiniZinc snap，但我可以下载 MiniZinc 的新目录并在本地运行它，并在那里配置解算器（而不是在 snap 安装中，因为无法修改 snap 目录）。
我需要一种方法来安装 OR-Tools 并使其至少在终端中工作（但从 IDE 运行它是完美的）。
迷你锌用途求解器配置文件找到可用的求解器。但是，如果求解器不提供配置文件。 IDE 可以帮助您通过以下简单步骤为求解器添加用户配置文件。
正如斯特拉迪瓦里在上面的评论中提到的，版本发布于或工具@Github.
从以下资产之一中选择相应的资产or-tools_{XXX}_{VERSION}.zip命名方案。
