誰かがミニ亜鉛チュートリアルで物事のカップルを理解するために私を助けることができるためにスタンドを何： function set of $T: 'intersect'(set of $T: x, set of $T: y)
これは集合Xの交差点を返しますとy。明らかにxとyは集合ですが、この文脈で$ Tは何を意味しますか？ function var set of int: 'union'(va
よりより自然な読書制約に constraint forall(r in RAN)(card({i | i in DOM where nos[i] = r}) = m);
がエラーで MiniZinc: type error: no function or predicate with this signature found: `card(var opt set of int)'
を失敗し
にすべてのサブセットを超える定量化するためにはどうすれば constraint forall (S subset C, k in M) (
% Some constraint over the set S, and integer k
);
私もしたいのですが...これの線に沿って、MiniZincにおける整数の集合のすべてのサブセットのための制約を作成したいです制約内でカーディナリ
私はゴルファーズの問題に設定された配列を持っています（毎週、2人のプレイヤーが一緒に一度、そして誰もが毎週、正確に1時間を果たしている）： int: gr; %number of groups
set of int: G=1..gr;
int: sz; %size of groups
set of int: S=1..sz;
int: n=gr*sz; %number of players