優化求解器主要分爲兩大類：商用求解器和開源求解器。
商用求解器：
IBM CPLEX：適用於線性規劃、整數規劃、混合整數規劃、二次規劃等問題，廣泛應用於供應鏈管理和生產計劃等領域。
Gurobi：同樣適用於線性規劃、整數規劃和混合整數規劃，以高性能和用戶友好的界面著稱。
Microsoft Solver Foundation：微軟的優化框架，可用於解決線性規劃、非線性規劃、整數規劃等問題。
FICO Xpress：多用途求解器，支持線性規劃、整數規劃、混合整數規劃、二次規劃、非線性規劃等。
LINDO/LINDO API：用於線性和非線性規劃的求解器，提供API供自定義應用程序集成。
MOSEK：專注於線性、二次和混合整數規劃的高性能求解器。
AMPL：建模語言，可與多箇求解器集成，包括上述提到的一些。
開源求解器：
PuLP：Python庫，適用於線性規劃、整數規劃和混合整數規劃，提供易於使用的建模語言。
GLPK (GNU Linear Programming Kit)：免費的線性和整數規劃求解器，是GNU項目的一部分。
COIN-OR：包含多箇優化工具和庫的開源項目，如Cbc、Clp和Ipopt等。
SCIP：著名的開源求解器，適用於組合優化問題。
此外，一些商業計算軟件如Matlab和常用的Excel表格中也包含有求解器工具，可以求解部分規模較小的數學規劃問題，但求解效率和商用求解器相比還是有一定差距。