---
template: solver-support.html
---

# 求解器支持矩阵

本表对照混合求解、CP-SAT 和 HiGHS 对建模接口的支持。点击方法名查看参数，展开“适用条件”了解取值范围和表达式限制。独立 GA 的适用条件在下方另行说明。

<div class="docs-support-legend" aria-label="支持状态说明">
<span class="docs-solver-badge docs-solver-badge--supported">支持</span>
<span class="docs-solver-badge docs-solver-badge--conditional">条件支持</span>
<span class="docs-solver-badge docs-solver-badge--unsupported">不支持</span>
</div>

**条件支持不等于任意模型都能求解。** 子表达式、数值范围和有限展开规模也必须满足要求。

混合求解对应 `solve()`；HiGHS 和 CP-SAT 是统一精确入口 `solve_optx()` 的两个内置后端，分别通过 `HighsConfig` 和 `CpSatConfig` 选择。具体用法见[选择求解路径](../guide/solvers.md)。

独立 `solve_heuristic()` 当前使用遗传算法，其方案选择与适用条件见[启发式求解参数](solve.md#solve_heuristic)。
表中混合求解的支持范围不代表每种 GA 搜索方案都适用。