目录 / open-source-solvers
SKILL
未评级
已上架
open-source-solvers
当用户希望在不使用商业许可证的情况下求解线性规划（LP）、混合整数规划（MIP）或约束规划（CP）模型时——需在 HiGHS、SCIP、CBC、OR-Tools（CP-SAT 和 MathOpt）、PuLP、Pyomo 和 python-mip 等工具中进行选择，比较其许可证条款，设定相对于 Gurobi 的合理性能预期，并将 gurobipy 模型迁移至开源求解器栈。当用户提及“开源求解器”、“HiGHS”、“SCIP”、“PuLP”、“Pyomo”、“CBC”、“免费求解器”或“无 Gurobi 许可证”时，也应参考此技能。若涉及 gurobipy 模型本身的构建，请参见 milp-modeling-gurobi；若需深入使用 CP-SAT 建模，请参见 constraint-programming。
模型生成摘要（rules/v1 · 2026-11-16 02:57）：当用户希望在不使用商业许可证的情况下求解线性规划（LP）、混合整数规划（MIP）或约束规划（CP）模型时——需在 HiGHS、SCIP、CBC、OR-Tools（CP-SAT 和 MathOpt）、PuLP、Pyomo 和 python-m…
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。
存档时间线
| 版本 | 存档时间 | 内容哈希 | 内容 |
|---|---|---|---|
| v1 | 2026-11-16 02:56 | e89db5a6 | 可取 |
版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。
纠错与举报（发现条目失效、署名有误或涉及侵权？）
提交举报 / 纠错
侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。