OR-Tools的CP-SAT求解器常用参数设置与说明

在OR-Tools当中，可以对模型及求解器的常用参数进行设置。这里我们介绍CP-SAT求解器的参数设置，参数设置放在求解对象创建后，如下：

solver = cp_model.CpSolver()
solver.parameters.max_time_in_seconds = 10
solver.parameters.absolute_gap_limit = 0.05
...

在 solver.parameters 当中指定参数的值即可进行配置。部分常用的参数及参数说明如下：

---