--- template: solver-support.html --- # 求解器支持矩阵按接口对照四条求解路径。点击方法名查看参数，展开“适用条件”了解输入域、表达式形式和后端限制。

支持条件支持不支持

**条件支持不等于任意模型都能求解。** 子表达式、数值范围和有限展开规模也必须满足要求；MATHOPT 的能力还取决于 `solver_type`。 SEARCH、CPSAT、MATHOPT、OPTX 分别对应 `solve()`、`solve_cpsat()`、`solve_mathopt()`、`solve_optx()`。具体用法见[选择求解路径](../guide/solvers.md)。