MiniZinc2.10.1

スケジューリング、割り当て、その他の制約問題のハイレベルなモデルを記述し、MiniZincを使用して、ソルバーごとにモデルを書き換えることなく、実行可能な解を調べたり、目的関数を最適化したりします。 MiniZincは、読みやすいモデリング言語で制約充足問題と最適化問題を表現するための、統合された言語ツールチェーンとIDEを提供します。 定義済みの制約ライブラリは、ユーザーがルールや関係を高レベルで記述できるようにします。モデルは、それを解決するエンジンとは分離されています。 この分離により、問題を特定のソルバーに固定することなく、サポートされているさまざまなソルバーで1つのモデリング手法を使用できます。

FlatZincは、候補者のソリューションと最適化結果を調査するためのソルバー固有の処理で人間指向モデルを接続します。 典型的なユーザーは、正式な問題解決を勉強する学習者や教育者、および教育設定で構造化された制約を表現し、テストする必要がある他の人を含みます。

MiniZinc 2.10.1 は Linux 上で実行され、スナップおよびターゲット x86 64 (amd64) システム。 モンアッシュ大学のMiniZincが開発したオープンソースソフトウェアで、Data61の決定科学とメルボルン大学と共同で開発されました。 教育にリストされている, それは教室の演習に適しています, ソルバー実験, 基礎的なソルバーを変更する最適化モデルは、問題の説明を変更する必要はありません。