MiniZinc(IDE 또는 CLI)와 함께 OR-Tools 솔버를 사용하고 싶습니다. 이 답변 의 단계를 따랐습니다 . 내 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
이 문제를 어떻게 해결할 수 있습니까?
OR-tools FlatZinc 버전과 설치한 MiniZinc 버전(버전 2.5.5) 간에 충돌이 있습니다. FlatZinc 정의 의 any
키워드에는 MiniZinc 버전 2.6.0 이상이 필요합니다.
MiniZinc를 현재 버전으로 업데이트하면 작동합니다.
이 기사는 인터넷에서 수집됩니다. 재 인쇄 할 때 출처를 알려주십시오.
침해가 발생한 경우 연락 주시기 바랍니다[email protected] 삭제
몇 마디 만하겠습니다