MiniZinc でプログラムを実行している場合、-s フラグを使用すると、解決策を探す際に検討した選択ポイントの数を確認できます。ただし、条件が満たされない場合、探索された選択ポイントの数は表示されません。
条件が満たされない場合でも、どうすれば選択ポイントを表示できますか?
1 に答える
0
を使用fzn-gecodeすると、Gist 機能を使用して検索ツリーを視覚化できます。Gistに関する多くのドキュメントは、Gecode の Modeling Guideにあります。ただし、C++ コードを書いていることを前提としています。
MiniZinc モデルから使用するには、次のコマンドを実行します。
mzn2fzn -G gecode [model].mzn (data.dzn)fzn-gecode -mode gist [model].fzn
于 2016-10-13T15:18:55.083 に答える