MiniZinc
官方網站
Git 儲存庫#### 產品特色
* 強大建模語言，支援離散優化問題的高階建模
* 支援多種預設約束，提升建模靈活性
* 可編譯為FlatZinc格式，支援廣泛的優化解決器
* 提供IDE與執行檔，方便開發與運行
* 開放源碼，自由使用與修改
#### 主要功能、特點
MiniZinc是一種開放源碼的離散優化建模語言，可高階建模並解決離散優化問題。使用者可利用其強大的約束建模能力，將問題轉換為可被優化解決器處理的格式。MiniZinc支援多種預設約束，並可編譯為FlatZinc格式，以適應廣泛的優化解決器。使用者可透過MiniZincIDE選擇預設的優化解決器，並執行模型。此外，MiniZinc還提供執行檔，方便直接運行模型。MiniZinc的開放源碼特性使其可自由使用與修改，並支援多種開發環境。
#### 指令
“`bash
# 無常用指令（自動生成）
“`