問題タブ [minizinc]

MiniZinc に一連の変数のサブセットでソリューションを投影するように指示する可能性はありますか? または、変数のサブセットの評価に関して一意であるすべてのソリューションを列挙する他の方法はありますか?

FlatZinc アノテーションを MiniZinc で直接使用しようとしましたが、フラット化プロセスで define_var アノテーションがさらに追加され、アノテーションが無視されるため、機能しません。

この制約を記述する方法を理解したいと思います。私は試験のリストを持っています。すべての試験には期間があります。最終的な出力はリアルタイムの時刻表の表示です。列には利用可能な時間、午前 4 時間、午後 4 時間、昼食の途中の 2 時間は利用できません。これは完全に明確です。2 つの試験があり、各試験に期間が割り当てられている場合、変数は試験であるため、期間にリンクされた時刻表に試験の番号を表示したいと思います。

例: 2 つの試験があり、最初の試験は 1 時間、2 番目の試験は 3 時間かかります。

[0,0,0,4] ではなく [1,2,2,2] を出力したい (垂直モード) Minizinc で行うことは可能ですか? 2 番目の出力のコードは次のとおりです。

前もって感謝します

プロジェクトの出力とソリューションを拡張する必要があります (試験のスケジュールを作成します)。

- 構造を 5 日間に拡張 (私は常に 1 日で作業しています): スロットタイム (5*10) の日数を細かく考えてから、出力を調整しました! より良い方法はありますか？

今コード全体：

登録は、すべての学生の登録を追跡します。これから、定員に応じて適切な部屋を選択するために、試験を受ける学生の数を取得します

そして今、出力は非常に重く、文字列でいっぱいです。

私はデータで終了します：

前もって感謝します

MiniZincの基本に精通しています。MiniZinc IDE を使用して、次のようなスニペットを作成します。

表示する

現在、int のリストの cdr が間違っているようです。見つけることはできませんが、それは私のバグだと思います。

アサーションはここで私を助けることができますか? Gecode (そして Gist を使用) を使用してコードを実際に運用する予定なので、そのルートに従うことはできますか?

ヒントをいただければ幸いです...

このスニペットを編集

レポート

MiniZinc で出力が得られないのはなぜですか? 私のプログラムは次のように終了します：

私が得るのは次のとおりです。

2015/2/7 再び起こりました。これはコードを取り除いたものです：

出力も「UNSATISFIABLE」もありません。