Minizinc 구문과 관련하여 간단한 질문이 있습니다. rates_index_0 = array2d(1..3, 1..501, [ 15, 20, 23, ....
rates_index_12 = array2d(1..3, 1..501, [ 21, 24, 27, ....
...
참고 : - 인덱스 번호는 그 격차 (> 20 예, 12)가 다음과 같이 파일 .
Gecode는 진행중인 제약 조건 만족 문제를 나타 내기 위해 Space을 사용합니다. 결정 지점에 도달 할 때마다 Space이 복사됩니다. 진행중인 공간에 대한 분석을 수행하고 싶습니다. 특정 Space에 등록 된 변수, 제약 조건 목록을 얻는 방법이 있습니까? API 문서는 그러한 메소드를 제공하지 않는 것 같습니다.
Gecode 툴킷으로 작업하고 있는데 다음과 같은 시나리오를 모델로하고 싶습니다. 나는 두 개의 변수를 가지고 있습니다. x과 y입니다. x의 값에 따라 y이 일정 값이어야합니다. 예 : X가 1이면 X가 2, 는 Y 5. 어떻게 Gecode이 모델링되어야한다 경우 는 Y 3되어야 하는가? 이 gist에서 볼 수 있듯이 현재이 상황을 모델링하기 위해 rei
CP 및 MiniZinc에 잠깐 노출되었지만 전문가는 아닙니다. CP 모델을 가지고 있는데 여기에 ATM을 게시 할 수 없으며 MiniZinc에 구현되어 있습니다. 문제에 대한 모든 가능한 해결책을 생성해야합니다. 우리는 1000 개 미만, 100 개 이상이라는 "적은"것들을 가질 것으로 기대합니다. minizinc 버전으로 전달 된 -a 플래그로 모델을
MiniZinc 제약 해결사 사용하여 매우 쉽게 cardinality constraints을 표현할 수 내장 sum() 기능 : 카디널리티 제약 조건이 충족 % This predicate is true, iff 2 of the array
% elements are true
predicate exactly_two_sum(array[int] of var b
Gecode에서, I는 분기 할 때 변수를 선택하는 메리트 함수를 사용하고있다. : 변수 V의 장점을 계산하기 위해 , 내가 다른 변수 값에 액세스해야하지만 성능 함수가 호출 될 때처럼 보이는 공간 변수는 아직 값을 asigned되지 않은 Exception: IntVar::val: Attempt to access value of unassigned vari
GeCode를 사용하여 특정 작업을 해결하는 소프트웨어를 빌드하고 있습니다. 나는 integer set 변수와 이러한 변수에 대한 몇 가지 제약 조건을 사용하여 문제를 모델링했습니다. 그러나이 문제에 관해서는 더 간단한 경우를 생각해 봅시다. 도메인이 [{}, ..., {1,2,3}] 인 {{}, {1}, {2}, {3}, {1,2 }, {1,3}, {2,
Java에서 런타임에 동적 인수가있는 모델을 해결하고 싶습니다. 내 문제는 MiniZinc으로 작성했습니다. mzn2fzn model.mzn model_data.dzn (this produces model.fzn file)
fzn-gecode model.fzn (actually solves the model)
는 기본적으로 처음에는 데이터 파일을 공급