問題タブ [minizinc]

私はスケジューリング モデルに取り組んでおり、この制約の使用方法を理解したいと考えています: Minizinc 2.0.2 バージョン & MinizincIDE-0.9.7-linux および G12-MIP & Gecode ソルバーを使用しています。

サンプル data.dzn ファイル:

G12-MIP ソルバーを使用した出力テーブル配列は、次の結果を示します。

このモデルは 2 ポイントと 48 時間 (つまり 2 日間) です。私が追加したい制約は、各従業員が割り当てられている場合、休憩なしで毎日シフトすることです。この目的の出力は次のとおりです。

私が試したアプローチ：

次のコマンドを使用して Linux ターミナルから実行したところ、mzn-g12mip test.mzn data.dzn と同じ結果が得られました。MinizincIDE-0.9.7-linux で実行すると、次のエラーが発生しました。

このコードに問題はありますか、またはこの制約を満たす他の方法はありますか?

MiniZinc で文字列連結演算子を使用して制約を定義し、変数aと を解決しようとしましたb。

それにもかかわらず、これは構文エラーのようです:

文字列または配列を変数として使用して MiniZinc の制約を解決することはまだ可能ですか?

各列に「1」、「2」、「3」、および7つの「0」が含まれるように、10行の配列を作成しようとしています。誰もこれを行う方法を知っていますか? 列の合計を6に制限しようとしましたが、1が6つ、3が2つなどの列が返されました。私が知らない「カウント」関数はありますか? ありがとう！

長さ l の int [0,0,0,0,0] 型の配列 a があります

奇数インデックスを持つすべての要素の合計を計算して、ダウンストリームの制約で使用したいと考えています。ここでは、「疑似」MiniZinc コードをいくつか示します。

s = sum(i in 1..l | i mod 2 == 0) (a[i]);

最大化を解決します。

これはどのように行うことができますか？

MiniZinc チュートリアルで、endif一連の条件文の最後にキーワードが何度も繰り返されていることに気付きました。この冗長な構文の代わりに、MiniZinc で switch ステートメントを書くことは可能ですか?

たとえば、この一連の条件文をもっと簡潔に書きたいと思います。