Installation 如何安装Google'；s CP解算器或Minizing中的工具？

我目前正在开发Minizing，我一直在使用Minizing中集成的两个解算器运行我的模型：Gecode和Chuffed。我一直在IDE中运行它，但我知道它也可以在bash中运行（使用

minizing

命令）

但我想测试我的模型如何使用谷歌的CP解算器，称为OR工具。但我真的不知道怎么做。我在Ubuntu18.04中安装了Minizine snap，但我可以下载一个新的Minizine目录并在本地运行它，并在那里配置解算器（而不是在snap安装中，因为snap目录无法修改）

我需要一种方法来安装或使用工具，并使其至少在终端中工作（但从IDE运行它将是完美的）。

Minizing使用它来查找可用的解算器。但是，如果解算器未提供配置文件。IDE可以通过以下简单步骤帮助您为解算器添加用户配置文件

打开“首选项”窗口

在解算器选择中，选择“添加新…”

输入要添加的解算器的详细信息。最重要的是可执行文件的位置及其迷你锌库的位置。

---

您可以在这里获得ortools的Flatzin二进制文件：它支持-a，-n，-s，-v，-p，-f，-t。不确定-rBy@Dekker1在minizing命令行中如何执行此操作？我正在尝试使用默认安装的Minizing+或Tools solver构建docker容器。您只需将IDE创建的文件（存储在

.minizing/solver

）复制到我在MacOS中安装的docker Imager或使用pip的工具，但在“/Users/my_name/Library/Python/3.8/lib/Python/site packages”中找不到任何bin文件夹。它在其他地方吗？完整路径是“/Users/my_name/Library/Python/3.8/lib/Python/site packages/ortools”