Windows系统下如何为Minizinc安装配置OR-Tools求解器？

• 适配Windows x64平台的OR-Tools MiniZinc绑定预编译包可以直接从OR-Tools官方发布渠道获取，下载时优先选择和你当前安装的MiniZinc IDE版本匹配的稳定发布版，对应包的文件名通常会带有win64、minizinc关键词
• 注意不要下载仅包含OR-Tools核心库的安装包，必须选择带有MiniZinc求解器绑定的版本，否则无法直接在MiniZinc IDE中添加使用
• 下载得到的压缩包解压后即可得到可直接调用的求解器可执行文件，无需额外编译
• 配置完成后可以运行一段简单的约束求解测试代码验证适配是否正常：比如定义几个整型变量加简单等式约束，选择OR-Tools作为求解器运行，能正常输出结果即为配置成功

内容的提问来源于stack exchange，提问作者Ganor Tamir