Minizinc와 함께 OR-Tools 솔버를 사용할 때 이 문제를 해결하는 방법은 무엇입니까?

청색증

MiniZinc(IDE 또는 CLI)와 함께 OR-Tools 솔버를 사용하고 싶습니다. 이 답변 의 단계를 따랐습니다 . 내 MiniZincIDE는 이제 다음과 같이 설정되었습니다 MiniZinc IDE 솔버 구성 스크린샷. .

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] 삭제

에서 수정
0

몇 마디 만하겠습니다

0리뷰
로그인참여 후 검토

관련 기사

CSS와 함께 플렉스 레이아웃을 사용할 때 스크롤바 문제를 해결하는 방법은 무엇입니까?

패키지와 함께 JNI를 사용할 때 UnsatisfiedLinkError를 해결하는 방법은 무엇입니까?

Vim이 Ctrl + v와 함께 사용할 때 Ctrl을 먹어 치우는 이유와이를 해결하는 방법은 무엇입니까?

Generics와 함께 사용할 때 "Bad operand for binary operator '+'"를 해결하는 방법은 무엇입니까?

이전 / 이후와 함께 scalatest를 사용할 때 'null'을 피하는 방법은 무엇입니까?

React.memo와 함께 React 기능 구성 요소를 사용할 때 클로저 문제를 해결하는 방법은 무엇입니까?

Angular CDK DnD와 함께 맵을 사용할 때 뷰를 업데이트하는 방법은 무엇입니까?

R-FOR LOOP와 함께 ASSIGN을 사용할 때 NA를 제거하는 방법은 무엇입니까?

NavigationLink와 함께 사용할 때 NavigationView에서 보기를 재사용하는 방법은 무엇입니까?

FirestoreRecyclerAdapter와 함께 RecyclerView를 사용할 때 스크롤 위치를 설정하는 방법은 무엇입니까?

LiveData와 함께 PagedListAdapter를 사용할 때 빈보기를 표시하는 방법은 무엇입니까?

OkHttp와 함께 Volley를 사용할 때 Http 캐시를 구성하는 방법은 무엇입니까?

file_get_contents () 함수를 사용하려고 할 때 PHP 오류 406이 발생하는 이유와 해결 방법은 무엇입니까?

필터와 함께`track by $ index`를 사용할 때 오류가 발생합니다. 이 문제를 해결하는 방법?

grunt와 함께 dalekjs를 사용할 때보고 옵션을 구성하는 방법은 무엇입니까?

ffmpeg와 함께 sox를 사용할 때 샘플 형식을 설정하는 방법은 무엇입니까?

flexbox와 함께 vh를 사용할 때 Component-Streching을 수정하는 방법은 무엇입니까?

or-tools와 함께 CBC 솔버를 사용하는 동안 조건부 제약 조건을 생성하는 방법이 있습니까?

R에서 Rcpp와 함께 C ++ ODE 솔버를 사용하는 방법은 무엇입니까?

pgfplots와 함께 include_tikz를 사용할 때 "! LaTeX 오류: 환경 축이 정의되지 않음"을 피하는 방법은 무엇입니까?

docker-compose와 함께 php:7.2-apache 이미지를 사용할 때 PHP 확장을 활성화하는 방법은 무엇입니까?

javafxports 8.60.8과 함께 JFoenix를 사용할 때 java.lang.IncompatibleClassChangeError-JavaFXPorts와 함께 JFoenix를 사용하는 방법은 무엇입니까?

Arduino DUE와 함께 사용할 라이브러리를 편집하는 방법은 무엇입니까?

Flask와 함께 Application Factory를 사용할 때 '앱'에 데코레이터를 넣는 방법은 무엇입니까?

LIMIT와 함께 복잡한 SQL을 사용할 때 mysql SQL 속도를 높이는 방법은 무엇입니까?

파이썬에서 범위와 함께 사용할 때 for 루프 인덱스를 증가시키는 방법은 무엇입니까?

공식 swift-ubuntu 이미지에서 tools-utils.sh와 함께 SwiftMySQLKuery를 사용하는 방법은 무엇입니까?

Unity와 함께 Rider를 사용할 때 재생 버튼에 바로 가기를 할당하는 방법은 무엇입니까?

값이 ':'와 같은 특수 기호를 가질 때 스프링 부트와 함께 환경 변수를 사용하는 방법은 무엇입니까?

TOP 리스트

  1. 1

    Ionic 2 로더가 적시에 표시되지 않음

  2. 2

    JSoup javax.net.ssl.SSLHandshakeException : <url>과 일치하는 주체 대체 DNS 이름이 없습니다.

  3. 3

    std :: regex의 일관성없는 동작

  4. 4

    Xcode10 유효성 검사 : 이미지에 투명성이 없지만 여전히 수락되지 않습니까?

  5. 5

    java.lang.UnsatisfiedLinkError : 지정된 모듈을 찾을 수 없습니다

  6. 6

    rclone으로 원격 디렉토리의 모든 파일을 삭제하는 방법은 무엇입니까?

  7. 7

    상황에 맞는 메뉴 색상

  8. 8

    SMTPException : 전송 연결에서 데이터를 읽을 수 없음 : net_io_connectionclosed

  9. 9

    정점 셰이더에서 카메라에서 개체까지의 XY 거리

  10. 10

    Windows cmd를 통해 Anaconda 환경에서 Python 스크립트 실행

  11. 11

    다음 컨트롤이 추가되었지만 사용할 수 없습니다.

  12. 12

    C #에서 'System.DBNull'형식의 개체를 'System.String'형식으로 캐스팅 할 수 없습니다.

  13. 13

    JNDI를 사용하여 Spring Boot에서 다중 데이터 소스 구성

  14. 14

    Cassandra에서 버전이 지정된 계층의 효율적인 모델링

  15. 15

    복사 / 붙여 넣기 비활성화

  16. 16

    Android Kotlin은 다른 활동에서 함수를 호출합니다.

  17. 17

    Google Play Console에서 '예기치 않은 오류가 발생했습니다. 나중에 다시 시도해주세요. (7100000)'오류를 수정하는 방법은 무엇입니까?

  18. 18

    SQL Server-현명한 데이터 문제 받기

  19. 19

    Seaborn에서 축 제목 숨기기

  20. 20

    ArrayBufferLike의 typescript 정의의 깊은 의미

  21. 21

    Kubernetes Horizontal Pod Autoscaler (HPA) 테스트

뜨겁다태그

보관