MiniZincIDE
MiniZincの制約モデルを作成・実行するmacOS向け開発環境。探索や解を可視化し、性能をプロファイルできます。
Cask開発ツールApple シリコン · Intel
提供元 homebrew/cask
過去 30 日間のインストール数11Appランキング 2201 位
過去1年間のインストール数126過去365日間の合計
最新バージョン2.10.18月31日 · 8月31日
ダウンロードサイズ63MBarm64 / x86_64 · dmg
更新頻度不定期過去30日間に0回リリース
紹介
MiniZincIDEは、MiniZincを使った開発のためのデスクトップ環境です。MiniZincは、離散最適化問題や制約充足問題を表現する高水準言語です。このHomebrew caskはmacOSアプリに加え、minizincとmzn2docのコマンドラインツールをインストールします。
IDEでは、モデルの作成と実行、探索や解の可視化、性能のプロファイリングができます。MiniZincモデルは読みやすく型付けされた構文を使い、さまざまなソルバー技術で実行できるため、特定のソルバーに限定されません。また、モデル内の関係を表現するための定義済み制約も備えています。
インストールするには brew install --cask minizincide を実行します。このcaskにはmacOS 12以降が必要です。インストール後は「アプリケーション」からMiniZincIDEを起動するか、ターミナルでインストールされた minizinc と mzn2doc を使用できます。
MiniZincIDEはモデリングおよび開発環境です。利用できるソルバー技術は、使用するソルバーによって異なります。公式サイトには入門用の例や、チュートリアル、ユーザーマニュアルなどの学習資料があります。
出典：MiniZinc · Homebrew cask
新バージョン 2.10.1の更新内容 8月31日 · OpenNavo編集部 · AI翻訳
- リリースバンドルには IDE、コンパイラー、ソルバーが含まれます。