《优化求解器》专栏导读

---

求解器入门

文章	求解器
OR-Tools的CP-SAT求解器入门案例	CP-SAT（谷歌OR-Tools）
OR-Tools的线性规划求解器入门——调用不同求解内核	Linear_solver（谷歌OR-Tools）
解决约束满足问题的SMT求解器——基于z3+Python的入门案例	z3-solver（Microsoft Research）

建模相关操作

文章	求解器	涉及操作
利用OR-Tools多样的约束函数快速建模详解	CP-SAT（谷歌OR-Tools）	建立特殊约束
OR-Tools约束通过OnlyEnforceIf方法快速建立分段约束函数	CP-SAT（谷歌OR-Tools）	建立分段函数

参数设置说明

文章	求解器
OR-Tools的CP-SAT求解器常用参数设置与说明	CP-SAT（谷歌OR-Tools）

Callback类的相关操作

文章	求解器	涉及操作
利用OR-Tools（CP-SAT）的Callback方法控制搜索过程的结束	CP-SAT（谷歌OR-Tools）	设置求解终止条件
利用OR-Tools求解器的callback功能返回可行解	CP-SAT（谷歌OR-Tools）	获取搜索到的可行解
利用Gurobi的Callback方法在求解过程中添加惰性约束	Gurobi（Gurobi Optimization）	添加惰性约束

数值问题探讨

文章	数值问题
求解器的可行解存在一个允许的误差范围	求解器的几类容忍误差
通过Gurobi的printStats函数查看模型的系数范围	模型的系数范围检查