| 名称 | 
            提供商 | 
            简介 | 
          
          
            | ALPHAECP 2.11 | 
            Abo University | 
             基于扩展切平面 (extended cutting plane ECP) 方法的 MINLP( 混合整数非线性规划 ) 求解器  | 
          
          
            | ANTIGONE 1.1 | 
            Princeton University | 
            为MINLP确定全局最优 | 
          
          
            | BARON | 
            The Optimization Firm, LLC | 
            提供经过验证的整体解的分支缩减最优导航器 | 
          
          
            | CBC 2.10 | 
            COIN-OR Foundation | 
            高性能LP/MIP求解器 | 
          
          
            | CONOPT 3 | 
            ARKI Consulting and Development | 
             大型 NLP( 非线性规划 ) 求解器  | 
          
          
            | CONOPT 4  | 
            ARKI Consulting and Development | 
            大型 NLP( 非线性规划 ) 求解器 | 
          
          
            | CONVERT | 
            GAMS Development Corp | 
            将模型转换为其他语言的标量模型的框架 | 
          
          
            | COPT 6.5  | 
            Cardinal Operations | 
            高性能LP/MIP求解器 | 
          
          
            | CPLEX 22.10 | 
            IBM ILOG | 
             高性能 LP/MIP( 线性规划 / 混合整数规划 ) 求解器  | 
          
          
            | DE | 
            GAMS Development Corp | 
            生成并求解EMP/SP中包含的随机程序的确定性等价值 | 
          
          
            | DECIS | 
            G. Infanger, Inc. | 
             大型随机规划求解器  | 
          
          
            | DICOPT 2  | 
            EDRC, Carnegie Mellon University | 
             用于求解 MINLP( 混合整数非线性规划 ) 模型的框架  | 
          
          
            | EXAMINER | 
            GAMS Development Corp | 
            用于检查解点并评估其优点的工具 | 
          
          
            | GAMSCHK | 
            Bruce McCarl | 
            用GAMS检验线性规划问题的结构和解性质的系统 | 
          
          
            | GUROBI 10.0  | 
            Gurobi Optimization | 
            高性能 LP/MIP( 线性规划/混合整数规划 ) 求解器 | 
          
          
            | GUSS | 
            GAMS Development Corp | 
            一个有效的求解相关模型的众多实例的框架(Gather-Update-Solver-Scatter) | 
          
          
            | HiGHS 1.5  | 
            ERGO | 
            高性能LP/MIP求解器 | 
          
          
            | IPOPT 3.14 | 
            COIN-OR Foundation | 
            用于大规模非线性规划的内点优化。 | 
          
          
            | JAMS | 
            GAMS Development Corp | 
            重新制定扩展数学程序(包括LogMIP)的求解器 | 
          
          
            | KESTREL | 
            NEOS | 
            用于在本地GAMS系统内使用远程NEOS求解器的框架。 | 
          
          
            | KNITRO 13.2 | 
            Ziena Optimization LLC | 
             大型NLP求解器  | 
          
          
            | LINDO 14.0 | 
            Lindo Systems Inc. | 
            来自Lindo Systems, Inc的随机求解器。包括了一个不受限制的LINDOGLOBAL版本。 | 
          
          
            | LINDOGlobal 14.0 | 
            Lindo Systems Inc. | 
             用于证明的全局解的 MINLP( 混合整数非线性规划 ) 求解器  | 
          
          
            | MILES | 
            University of Colorado at Boulder | 
             MCP( 混合互补问题 ) 求解器  | 
          
          
            | MINOS 5.6  | 
            Stanford University | 
             NLP( 非线性规划 ) 求解器  | 
          
          
            | MOSEK 10  | 
            MOSEK ApS | 
            大型混合整数圆锥规划求解器 | 
          
          
            | NLPEC | 
            GAMS Development Corp | 
             MPEC 到 NLP 转换器,使用其他的 GAMS NLP 求解器  | 
          
          
            | OCTERACT 4 | 
            Octeract | 
            成熟的全局解的MINLP求解器 | 
          
          
            | ODHCPLEX 7 | 
            Optimization Direct Inc | 
            CDH之上的ODHeuristic | 
          
          
            | PATHNLP | 
            University of Wisconsin - Madison | 
             用于凸面问题的大型 NLP 求解器  | 
          
          
            | PATH | 
            University of Wisconsin - Madison | 
             大型 MCP 求解器  | 
          
          
            | QUADMINOS 5.6 | 
            Stanford University | 
            四精度NLP求解器 | 
          
          
            | SBB | 
            ARKI Consulting and Development | 
             用于求解 MINLP 模型的 分支定界 ( Branch-and-Bound ) 算法  | 
          
          
            | SCIP 8.0 | 
            Zuse Institute Berlin et.al. | 
             高性能约束整数规划求解器  | 
          
          
            | SELKIE | 
            University of Wisconsin - Madison | 
            EMP的分解和并行解 | 
          
          
            | SHOT 1.1  | 
            Abo Akademi  University | 
            基于扩展支持超平面(ESH)方法的MINLP求解器 | 
          
          
            | SNOPT 7.7  | 
            Stanford University | 
             基于 NLP 的大型 SQP( 序列二次规划法 Sequential Quadratic
              Programming) 求解器  | 
          
          
            | SOPLEX 6.0 | 
            Zuse Institute Berlin | 
            高性能LP求解器 | 
          
          
            | XPRESS 41.01 | 
            FICO | 
             高性能 LP/MIP 求解器  |