Optimization Solver Bench求解器与 Benchmark 证据图谱 CURATED SNAPSHOT · 2026-08
目录
看板 Compare问题集 Suites求解器 Solvers问题类别 Taxonomy
03 / SOLVERS

产品、引擎与建模层，
保持各自的身份。

每个条目绑定具体 release、许可、运行形态、能力保证、官方证据和已知限制。CPLEX 与 CP Optimizer 是两个引擎；AMPL、GAMS、Pyomo、JuMP、OPL、Mosel 另列为建模层。

15Commercial engines
15Open / mixed baselines
13Capability axes
30 / 30
COMMERCIAL ENGINE

Artelys Knitro

Artelys

16.0

局部连续 NLP、QP/QCQP、SOCP、MINLP 与 DFO/multistart 引擎。

GLPGMILPLQP · QCQPGSOCP · ConicLLocal NLPHGlobal NLP · MINLPRTSP · VRP+4
LICENSE
商业；学术许可
COMPUTE
CPU · parallel multistart
COMMERCIAL ENGINE

BARON

The Optimization Firm

26.5.28

factorable NLP/MINLP 的确定性全局优化器，提供上下界和全局最优证明。

GLPGMILPGQP · QCQPRSOCP · ConicGLocal NLPGGlobal NLP · MINLPRTSP · VRP+3
LICENSE
商业；小规模免费版
COMPUTE
CPU · parallel MINLP
COMMERCIAL ENGINE

COPT

Shanshu AI

8.0

覆盖 LP、MILP、QP/QCP、锥、SDP 与 NLP，并提供集群和部分 GPU 算法。

GLPGMILPGQP · QCQPGSOCP · ConicGSDPLLocal NLPRGlobal NLP · MINLP+4
LICENSE
商业；学术与试用
COMPUTE
CPU · GPU PDLP/barrier
COMMERCIAL ENGINE

FICO Xpress Solver

FICO

current page · 2026-08

覆盖数学规划、CP 和 nonlinear/global optimization 的商业套件。

GLPGMILPGQP · QCQPGSOCP · ConicLLocal NLPGGlobal NLP · MINLPGCP · SAT · PB+4
LICENSE
商业；Community/Academic options
COMPUTE
CPU · GPU PDHG
COMMERCIAL ENGINE

Gurobi Optimizer

Gurobi Optimization

13.0.2

通用 LP/MIP/QP/QCP 与 factorable nonlinear/global optimization 引擎，提供服务器、云和分布式能力。

GLPGMILPGQP · QCQPGSOCP · ConicBLocal NLPGGlobal NLP · MINLPRCP · SAT · PB+4
LICENSE
商业；免费学术许可
COMPUTE
CPU · GPU PDHG for LP
COMMERCIAL ENGINE

Hexaly Optimizer

Hexaly

15.0

面向 routing、scheduling、packing 与通用组合模型的 exact + heuristic hybrid。

GLPGMILPGQP · QCQPRSOCP · ConicLLocal NLPGGlobal NLP · MINLPGCP · SAT · PB+5
LICENSE
商业；免费学术/试用
COMPUTE
CPU · multi-core
COMMERCIAL ENGINE

IBM CP Optimizer

IBM

22.1.2

原生 constraint programming 与 interval/resource scheduling 引擎。

GCP · SAT · PBRTSP · VRPGRCPSP · JSSPRBPP · CSPRSP · RO · MOO
LICENSE
商业；随 CPLEX Optimization Studio
COMPUTE
CPU · multi-worker
COMMERCIAL ENGINE

IBM CPLEX

IBM

22.1.2

成熟的 LP、MIP、QP/QCP 与 SOCP 引擎；与 CP Optimizer 分开建模。

GLPGMILPGQP · QCQPGSOCP · ConicRTSP · VRPRRCPSP · JSSPRBPP · CSP+1
LICENSE
商业；学术与受限免费版本
COMPUTE
CPU · parallel
COMMERCIAL ENGINE

LINDO API

LINDO Systems

16.0.148

模块化覆盖 LP/MIP、QP/QCP/SOCP/SDP、局部/全局 NLP 与随机规划。

GLPGMILPGQP · QCQPGSOCP · ConicGSDPLLocal NLPGGlobal NLP · MINLP+4
LICENSE
商业模块许可；试用
COMPUTE
CPU · parallel
COMMERCIAL ENGINE

MindOpt

Alibaba Cloud

2.3.0

LP/MILP、QP/QCP、MIQP/MIQCP 与 SDP 求解器，支持本地和云。

GLPGMILPGQP · QCQPGSDPRTSP · VRPRRCPSP · JSSPRBPP · CSP+1
LICENSE
云与离线商业许可
COMPUTE
CPU
COMMERCIAL ENGINE

MOSEK

MOSEK ApS

11.1.11

专注高质量凸优化：LP、QP/QCQP、SOCP、指数/幂锥、SDP 和多数整数锥模型。

GLPGMILPGQP · QCQPGSOCP · ConicGSDPRTSP · VRPRRCPSP · JSSP+2
LICENSE
商业；免费学术许可
COMPUTE
CPU · parallel
COMMERCIAL ENGINE

Octeract Engine

Octeract

candidate · version unavailable

候选区：历史定位为确定性全局 MINLP，引擎当前官方文档和发布渠道未能稳定核验。

LICENSE
商业订阅；渠道状态待核验
COMPUTE
待核验
COMMERCIAL ENGINE

OptVerse MPSolver

Huawei

2.5.1 manual

官方公开手册可确认 LP、MILP 与 QP 的华为数学规划引擎。

GLPGMILPGQP · QCQP
LICENSE
商业 SDK / 云订阅
COMPUTE
CPU; GPU/分布式待核验
COMMERCIAL ENGINE

SAS Optimization

SAS

Viya · current service

SAS Viya 中的 LP/MIP/QP/conic/NLP/CP/network/black-box 优化产品组合。

GLPGMILPGQP · QCQPGSOCP · ConicLLocal NLPGCP · SAT · PBRTSP · VRP+4
LICENSE
商业订阅
COMPUTE
CPU · distributed services
COMMERCIAL ENGINE

SNOPT

UCSD–Stanford Business Associates

7.7.7

面向大规模稀疏连续光滑 NLP 的 SQP 局部优化器。

GLPLQP · QCQPLLocal NLPRTSP · VRPRRCPSP · JSSPRBPP · CSP
LICENSE
商业与学术许可
COMPUTE
CPU
OPEN-SOURCE BASELINE

Bonmin

COIN-OR

1.8.9

组合 Ipopt 与 CBC 的 convex MINLP 算法集合。

RLPRMILPLQP · QCQPRSOCP · ConicLLocal NLPLGlobal NLP · MINLPRTSP · VRP+3
LICENSE
开源；仓库许可
COMPUTE
CPU
OPEN-SOURCE BASELINE

Clarabel

Oxford Control

0.11.1

Rust 实现的连续凸锥求解器，覆盖 LP/QP/SOCP/SDP 与指数/幂锥。

GLPGQP · QCQPGSOCP · ConicGSDPRTSP · VRPRRCPSP · JSSPRBPP · CSP+1
LICENSE
Apache-2.0
COMPUTE
CPU
OPEN-SOURCE BASELINE

COIN-OR CBC

COIN-OR

2.10.13

开源 MILP branch-and-cut 引擎，通常与 CLP 线性松弛配套。

RLPGMILPRTSP · VRPRRCPSP · JSSPRBPP · CSPRSP · RO · MOO
LICENSE
EPL-2.0
COMPUTE
CPU · limited parallel
OPEN-SOURCE BASELINE

COIN-OR CLP

COIN-OR

1.17.11

LP primal/dual simplex 与 barrier 开源基线。

GLPRTSP · VRPRRCPSP · JSSPRBPP · CSPRSP · RO · MOO
LICENSE
EPL-2.0
COMPUTE
CPU
OPEN-SOURCE BASELINE

Couenne

COIN-OR

0.5.8

非凸 MINLP spatial branch-and-bound 全局求解器。

RLPRMILPRQP · QCQPRSOCP · ConicLLocal NLPGGlobal NLP · MINLPRTSP · VRP+3
LICENSE
开源；仓库许可
COMPUTE
CPU
OPEN-SOURCE BASELINE

CSDP

COIN-OR

6.2.0

C library/CLI 形式的经典 SDP 求解器。

RLPGSDPRTSP · VRPRRCPSP · JSSPRBPP · CSPRSP · RO · MOO
LICENSE
开源；仓库许可
COMPUTE
CPU · OpenMP
OPEN-SOURCE BASELINE

HiGHS

ERGO-Code

1.14.0

高性能开源 LP、MILP 与凸 QP 求解器。

GLPGMILPGQP · QCQPRTSP · VRPRRCPSP · JSSPRBPP · CSPRSP · RO · MOO
LICENSE
MIT
COMPUTE
CPU · threaded
OPEN-SOURCE BASELINE

Ipopt

COIN-OR

3.14.20

大规模连续光滑 NLP 的 primal-dual interior-point 局部求解器。

GLPLQP · QCQPRSOCP · ConicLLocal NLPRTSP · VRPRRCPSP · JSSPRBPP · CSP+1
LICENSE
EPL-2.0
COMPUTE
CPU · external linear solvers
OPEN-SOURCE BASELINE

NOMAD

GERAD

4.5.1

约束无导数、黑箱、非光滑和 mixed/categorical 优化的 MADS 平台。

LLocal NLPHGlobal NLP · MINLPHCP · SAT · PBHTSP · VRPHRCPSP · JSSPHBPP · CSPHSP · RO · MOO+1
LICENSE
LGPL
COMPUTE
CPU · OpenMP
MIXED LICENSE

NVIDIA cuOpt

NVIDIA

26.08

GPU LP/QP/conic、MIP Beta 与 TSP/VRP/PDP 专用引擎。

GLPBMILPGQP · QCQPGSOCP · ConicHTSP · VRP
LICENSE
Apache-2.0 core；NVIDIA AI Enterprise containers
COMPUTE
NVIDIA GPU · multi-GPU PDLP
OPEN-SOURCE BASELINE

OR-Tools / CP-SAT

Google

9.15

CP-SAT、routing、flows、assignment、packing 与 scheduling 工具集。

GLPRMILPGCP · SAT · PBHTSP · VRPHRCPSP · JSSPHBPP · CSPRSP · RO · MOO
LICENSE
Apache-2.0
COMPUTE
CPU · parallel search
OPEN-SOURCE BASELINE

OSQP

Oxford Control

1.0.0

面向凸 QP 的 operator-splitting 求解器，支持嵌入式 codegen。

GLPGQP · QCQPRTSP · VRPRRCPSP · JSSPRBPP · CSPRSP · RO · MOO
LICENSE
Apache-2.0
COMPUTE
CPU · optional CUDA algebra backend
OPEN-SOURCE BASELINE

SCIP Optimization Suite

Zuse Institute Berlin

10.0.2

MIP、global MINLP、constraint integer programming 与 branch-cut-price 框架。

GLPGMILPGQP · QCQPRSOCP · ConicRLocal NLPGGlobal NLP · MINLPRCP · SAT · PB+4
LICENSE
Apache-2.0
COMPUTE
CPU · parallel/distributed via UG
OPEN-SOURCE BASELINE

SCS

Stanford / CVXGRP

3.2.11

一阶凸锥求解器，适合大规模低/中精度问题。

GLPGQP · QCQPGSOCP · ConicGSDPRTSP · VRPRRCPSP · JSSPRBPP · CSP+1
LICENSE
MIT
COMPUTE
CPU · official GPU backend
OPEN-SOURCE BASELINE

SDPA

SDPA Project

7.4.4

专用 SDP primal-dual interior-point solver。

RLPGSDPRTSP · VRPRRCPSP · JSSPRBPP · CSPRSP · RO · MOO
LICENSE
GPL-3.0
COMPUTE
CPU · multithreaded
MODELING LAYER ≠ SOLVER

建模语言与接口单列

桥接、转换和 writer 可能改变模型结构，所以 campaign 必须记录建模层版本。

建模语言 / 运行时AMPL

将模型连接到多个求解引擎；不得作为 solver release 参与能力或性能排名。

打开官网 ↗建模系统GAMS

负责模型与求解器接口；campaign 必须同时记录所用 GAMS 与 solver 版本。

打开官网 ↗Python 建模层Pyomo

转换、writer 与接口开销是否计时必须在 protocol 中声明。

打开官网 ↗Julia 建模层JuMP

MOI bridge 可能重构约束，因此不能自动视为 solver 原生能力。

打开官网 ↗IBM 建模语言OPL

可连接 CPLEX 与 CP Optimizer；两个引擎仍需分开。

打开官网 ↗FICO Xpress 建模语言Mosel

建模、编排与求解器原生能力分别记录。

打开官网 ↗