使用带有 Minizinc 的 OR-Tools 求解器时如何解决这个问题？

我想将 OR-Tools 求解器与 MiniZinc（IDE 或 CLI）结合使用。我按照这个答案中的步骤进行操作。我的 MiniZincIDE 现在是这样设置的：.

当我选择 OR 工具求解器并尝试在简单的 .mzn 模型上运行它时，我收到以下错误：

(included from file '/home/my_username/lib/MiniZincIDE-2.5.5-bundle-linux-x86_64/share/minizinc/std/solver_redefinitions.mzn')
/home/my_username/lib/MiniZincIDE-2.5.5-bundle-linux-x86_64/bin/or-tools/share/minizinc/redefinitions-2.0.mzn:104.9-11:
        any: xx = [ x[i] | i in index_set(x) where occurs(v[i])];
        ^^^
Error: syntax error, unexpected any
(included from file '/home/my_username/lib/MiniZincIDE-2.5.5-bundle-linux-x86_64/share/minizinc/std/solver_redefinitions.mzn')
/home/my_username/lib/MiniZincIDE-2.5.5-bundle-linux-x86_64/bin/or-tools/share/minizinc/redefinitions-2.0.mzn:111.9-11:
        any: xx = [ x[i] | i in index_set(x) where occurs(v[i])];
        ^^^
Error: syntax error, unexpected any

Process finished with non-zero exit code 1

我该如何解决这个问题？