minizinc

0열

1답변

이 제약 조건을 작성하는 방법을 알고 싶습니다. 시험 목록이 있으며 모든 시험에는 기간이 있습니다. 최종 출력은 실제 시간표의 표시입니다. 열에는 아침 4 시간, 오후 4 시간, 점심 중간에 2 시간 동안 사용할 수없는 시간이 있습니다. 그래서, 내가 만들어 보겠습니다. 이 두 가지 시험이 있고 각 시험마다 지정된 기간이있는 경우, 내 변수가 시험이기 때문

3열

1답변

minizinc에서 power-of (pow) 제약

minizinc에서 pow 제약 조건을 지원할 수있는 방법이 있습니까 (직접 또는 간접). Gecode는 float 및 int 변수를 사용하여 pow constraint을 지원하지만 Minizinc 및 FlatZinc는 변수에 대한 pow를 지원하지 않습니다. Minizinc 및 Flatzinc은 모델에 대한 매개 변수에 대해서만 pow를 지원합니다. Mi

1열

2답변

MiniZinc, Gecode 내가 (내가 gecode 사용) 다음 통계를 인쇄하는 모든 솔루션을 찾으려 나는 minizinc 모델이

솔루션 분리기를 제거,이 쉽습니다 : mzn-gecode -as foo.mzn 하지만이 모델은 수천 개의 솔루션을 생성합니다 각 솔루션마다 구분 기호가 인쇄됩니다. ---------- ---------- ---------- ---------- ========== 이 분리 기호를 제거하고 통계 만 인쇄해야합니다. 방법이 있습니까? == 업

1열

1답변

값 선택을위한 임의의 분포를 지정하는 minizinc 구문

minizinc에는 변수 값 선택 배포를 지정하는 구문이 있습니까? 예를 들면. var 0..100: X ; 나는 범위에서 시간의 0..50 90 %가 X 걸릴 값을 지정하고 시간의 51..100 10 %의 값을 갖고 싶습니다. 구문 int_search([X], first_fail, **indomain_random**, complete) satisfy;

1열

1답변

Minizinc의 ReifiedConstraint

필자는 작업 목록을 가지고 있으며 이들 사이에는 몇 가지 상호 의존성이 있습니다. 9 개의 작업. 각 cpu 그룹에서 6 cpu 2. 세 개의 그룹 p1, p2, p3이 있습니다. cost p1=4 COST p2=5 COST P3=2 다른 CPU의 다른 작업에 대한 실행 시간이 주어집니다. 작업간에 데이터를 전송해야합니다. 우리는 점대 점 링크를 사

0열

1답변

제약 프로그래밍으로 고유 솔루션 생성

CP 및 MiniZinc에 잠깐 노출되었지만 전문가는 아닙니다. CP 모델을 가지고 있는데 여기에 ATM을 게시 할 수 없으며 MiniZinc에 구현되어 있습니다. 문제에 대한 모든 가능한 해결책을 생성해야합니다. 우리는 1000 개 미만, 100 개 이상이라는 "적은"것들을 가질 것으로 기대합니다. minizinc 버전으로 전달 된 -a 플래그로 모델을