소개 옵션 유형, Minizinc의 specification 말한다 (초 6.6.3.) : 개요. opt 유형 생성자를 사용하여 정의 된 옵션 유형은 거기에 있거나 없을 수도있는 유형을 정의합니다. 이것들은 유형에 하스켈 implicity의 새 유형 <>을 추가하는 Maybe 유형과 유사합니다. [...] 초기화. opt 유형 변수는 인스턴스 타임에 초기화
나는 다음 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), "\