晚上好，
我正在运行一个解决约束编程问题的 Django 应用程序。Minizinc IDE 安装在我的本地 win10 机器上（minizinc 在路径上），MiniZinc Python（https://pypi.org/project/minizinc/）安装在我的 virtualenv 中。同样，我只是在我的 linux 服务器上安装了带有 Snap 的 minizinc bundles 二进制包，从而在路径上获得了 minizinc 可执行文件。
现在我正在尝试使用 Zappa ( https://github.com/zappa/Zappa ) 迁移到无服务器架构。唯一的问题是 minizinc 没有安装在我的 davidlenv -> 因此 Zappa 无法识别它，最后 MiniZinc Python 无法找到 minizinc 可执行文件，一旦 Zappa 神奇地移动了 aws lambda 上的所有内容......
有没有办法教 MiniZinc Python 在哪里找到二进制文件？在这篇文章中（安装了 minizinc 但 python 认为没有） Dekker1 提到“在通常的位置安装 [..] MiniZinc”？哪里是？我可以在我的 virtualenv 中手动包含二进制文件并使 MiniZinc Python 工作而不依赖于全局 Minizinc IDE 安装吗？
另外，究竟什么是“二进制文件”？我可以从https://github.com/MiniZinc/libminizinc复制整个 libminizinc 项目还是一个特定的子集？
非常感谢 ！