0

渡されたパラメータとして配列を使用してJavaプログラムからMinizincモデルを呼び出す方法は? これを行うための特別なコマンドはありますか?

4

1 に答える 1

1

私は頻繁に同じことをしますが、pythonで行います。便利な方法で呼び出しを統合できるモジュールや拡張機能はおそらくありませんが、別のプログラムを呼び出すのは非常に簡単です。

私は Java で試したことがないので、別のスタック オーバーフローの投稿で説明します: Execute external program in java。

パラメータを渡すか、-D "var_int_name=10;var_int_array=[1,2,3];"MiniZinc への呼び出しの最後の引数としてデータ ファイルを指定できます。

一般的なヒントは、MiniZinc モデルからの出力を非常に簡単に認識して解析できるようにすることです。これは、多くのソルバーがソリューションだけでなく余分なものを出力するためです。たとえば、MiniZinc 自体----------はソリューション間で印刷されますか。答えは & またはコンピューターで簡単に見つけて解析できるその他の記号で囲みます。また、実際に解決策が返されたことを確認することもできます。

于 2016-01-01T20:30:28.993 に答える