1熱
2答えて
mzn2fzn変換中にintドメインセットを伝播する方法はありますか?
-1熱
1答えて
0熱
1答えて
MiniZincは、配列内の各変数に異なるドメインを割り当てます。
1熱
1答えて
ミニ亜鉛出力にエスケープを解釈させるにはどうしたらいいですか?
0熱
1答えて
MiniZincは、私は次の形式の変数の3つのアレイとMiniZincプログラムを持っているインデックス
0熱
1答えて
述語を簡素化するためにMinizincの関数の等価物を作成する方法
1熱
1答えて
1熱
1答えて
MinizincこのようなN個の整数のペアのアレイを作成するためにMinizinc構文は何INT対
1熱
1答えて