01 / COMPARE

先看清楚能解什么，
再比较解得怎样。

能力声明与性能结果分层呈现。每个能力格可回溯到 release 和官方资料；每个性能值只存在于一个锁定的 campaign 中。

30Solver releases

33Benchmark families

390Sourced claims

EVIDENCE MATRIX

能力与表现，看两张不同的表

能力码回答“是否、以什么保证支持”；campaign 回答“在这个协议里表现怎样”。

G原生 / 全局证书L局部解或驻点H启发式能力R重构或前端支持BBeta / Preview—明确不支持?尚无可靠证据

GENERAL OR / 商用优先30 releases · 点击能力格查看证据 ↗

Solver release	LP线性规划与网络流	MILP混合整数线性规划	QP · QCQP二次规划与二次约束	SOCP · Conic二阶锥与一般锥优化	SDP半定规划	Local NLP局部非线性规划	Global NLP · MINLP全局非线性与混合整数非线性	CP · SAT · PB约束规划、SAT 与伪布尔
Artelys Knitro16.0 · 商用
BARON26.5.28 · 商用
COPT8.0 · 商用
FICO Xpress Solvercurrent page · 2026-08 · 商用
Gurobi Optimizer13.0.2 · 商用
Hexaly Optimizer15.0 · 商用
IBM CP Optimizer22.1.2 · 商用
IBM CPLEX22.1.2 · 商用
LINDO API16.0.148 · 商用
MindOpt2.3.0 · 商用
MOSEK11.1.11 · 商用
Octeract Enginecandidate · version unavailable · 商用
OptVerse MPSolver2.5.1 manual · 商用
SAS OptimizationViya · current service · 商用
SNOPT7.7.7 · 商用
Bonmin1.8.9 · 开源
Clarabel0.11.1 · 开源
COIN-OR CBC2.10.13 · 开源
COIN-OR CLP1.17.11 · 开源
Couenne0.5.8 · 开源
CSDP6.2.0 · 开源
HiGHS1.14.0 · 开源
Ipopt3.14.20 · 开源
NOMAD4.5.1 · 开源
NVIDIA cuOpt26.08 · 混合
OR-Tools / CP-SAT9.15 · 开源
OSQP1.0.0 · 开源
SCIP Optimization Suite10.0.2 · 开源
SCS3.2.11 · 开源
SDPA7.4.4 · 开源