AMPL
AMPL是一套用於優化建模的高級建模工具。AMPL是一種描述並求解大規模複雜數學問題的建模語言。AMPL支持世界上大部分的求解器，如CBC、CPLEX、FortMP、Gurobi、MINOS、IPOPT、SNOPT和KNITRO。AMPL語言的的一個主要的特點是對優化問題的數學表達式的簡化，這使得簡明地可讀地定義優化問題成為可能。根據NEOS的統計AMPL是使用最為廣泛的數學模型語言。
AMPL IDE
在售的求解器(Solver)
線性求解器
這些求解器都處理連續變量和整數變量中的線性和凸二次優化問題：
單個求解器提供其他問題類型的擴展。所有這些都包含用於線性編程的快速原始單純形，雙重單純形和內部方法，以及用於純整數和混合整數問題的複雜的分支切割和啟發式搜索方法。 包括多個處理器和內核上的並行計算選項。 此類解決方案是商業，政府和研究機構中應用最廣泛的應用程式。
非線性求解器
此類別中的求解器為尋找涉及平滑非線性函數（包括比率，多項式，指數和對數以及三角形式）的問題的局部最優解提供了最有效的方法。 它們提供了各種經過驗證的算法：
對於給定的問題類，通常會發現這些求解器方法中的一個或多個是有利的。 非線性求解器廣泛用於具有物理組件的能量傳輸和工程設計等應用，以及先進的經濟和金融建模。
替代求解器
這些求解器結合了多種方法來處理由於多個局部最優解，非光滑和離散函數和/或高度組合或邏輯約束而難以實現的優化問題。 我們正在構建此類別的產品，從以下開始：
使用AMPL，可以輕鬆地在相同的模型和數據上嘗試多種求解器替代方案，以確定哪種方法最適合給定的應用程式。
AMPL 系統是一個複雜的建模工具，支持整個優化建模生命周期：開發、測試、部署和維護.
通過使用以人們對優化模型的相同方式來表示優化模型的高級表示，AMPL 促進了快速開發和可靠的結果。
AMPL 集成了一種建模語言，用於描述優化數據、變量、目標和約束； 用於瀏覽模型和分析結果的命令語言； 以及用於收集和操作數據以及實現疊代優化方案的腳本語言。 所有這些都使用相同的概念和語法來簡化應用程式構建。
強大的建模語言功能
有價值的建模支持功能
廣泛的可用性
可用的求解器包括最流行和最強大的優化引擎：
使用我們的開源 AMPL 求解器庫將您自己的求解器連接到 AMPL。
支持的平台包括 Windows、Linux、MacOS 和幾個基於 Unix 的工作站。
詳盡的支持材料
AMPL 書提供了詳細的介紹性教程以及所有基本和高級功能的教程介紹。
提供了大量示例，包括 AMPL 書中的所有模型和數據以及用於常見疊代方案的各種腳本。
Google群組上的AMPL用戶論壇對公眾開放搜索或發帖。