저는 MiniZinc를 배우기 시작했습니다. 코드를 보지 않고 MiniZinc Tutorial에서 제공되는 laplace.mzn 예제를 완성하려고합니다. 아래의 코드 블록 1에 나와있는 원래의 시도는 정확한 대답을 제공합니다. 나는 show_float() 함수에서 6의 하드 코드 된 값을 만들어서 출력 진술을 일반화하려고 노력했다. 출력의 모든 float은
나는 다음 MiniZinc 코드 샘플이 있습니다 include "globals.mzn";
var int: i;
array[-3..3] of var set of 1..10: x;
var set of 1..100: y;
constraint element(i, x, y);
solve satisfy;
output [
show(i), "\
문제는 일부 사람들이 고정 된 크기의 그룹으로 골프를 치는 일정을 찾는 것입니다. 모든 플레이어가 한 번에 한 그룹에 속해 있음을 보장해야합니다. 여기 내 코드입니다 : int: gr; % number of groups
int: sz; % size of groups
int: we; % number of weeks
int: n=gr*s
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
저는 Minizinc에서 막 시작했습니다. 내가 가장 100 $에 지출 제공 최대 4 GROUP을 사고 싶어하고 나는 모든 그룹에서 하나 개의 항목 만 구입하실 수 있습니다 : 어떻게 다음과 같은 제약 조건을 작성할 수 있습니다. 품질을 극대화하십시오. int: items = 10;
set of int: GROUPS = 0..itms;
set of in
나는 ariz를 minizinc로 망치고있다. 조건부 출력을 얻기 위해 노력하고 있는데, 배열 요소의 값이 'true'이면이 요소의 배열 인덱스에 관한 정보가 출력된다. 어떤 기능이나와 술어 : I 허용하고 있지 않다 그러나 output ["X_"++concat(["\(r)_\(t)_\(pos)"
| pos in 1..l, r in 1..4, t in 0
저는 minizinc로 arround를 망치고 있습니다. 나는 dzn 만 사용하여 해결할 정적 mzn 파일을 갖고 싶습니다. 문제의 더 나은 이해를 위해 , 여기 예제입니다 : 내가 지금 DZN 파일을 (다른 요소 바르해야한다)를 사용하여 X의 몇 가지 요소를 초기화 할 include "globals.mzn";
include "data.dzn";
int
이것은 내 모델입니다 ... N = 16 POTITIONS의 사이 클릭 테이블에서 다른 친구를 옆에 두려고합니다. 친구들은 관심사가 있습니다. 서로 옆에 하나씩 은 최소한 하나의 공통 관심사가 있어야합니다.. 자신의 이익의 int :N;
set of int: FRIENDS = 1..N;
set of int: POSITIONS = 1..N;
작업 상점 문제와 비슷한 것을 모델링하려고합니다. 작업을 수행하는 데 다양한 수의 작업을 사용하는 여러 가지 방법으로 수행 할 수있는 여러 작업이 있습니다. 그 정보를 표현하기 위해이 데이터 구조를 설정 한 : jobOptions[j, o, index]이있는 경우 enum Job;
enum Option;
int: maxTasks;
set of int:
출력시 선택적 enum은 어떻게됩니까? 내가 INT set of int: Foo = 1..2;
var opt Foo: foo;
output [ "foo: \(foo)" ];
solve satisfy;
의 세트로 푸를 변경하는 경우 다음이 Compiling test.mzn
Running test.mzn
foo: <>
----------
Fin