在OR-Tools当中，可以对模型及求解器的常用参数进行设置。这里我们介绍CP-SAT求解器的参数设置，参数设置放在求解对象创建后，如下：
solver = cp_model.CpSolver()
solver.parameters.max_time_in_seconds = 10
solver.parameters.absolute_gap_limit = 0.05
...
在 solver.parameters 当中指定参数的值即可进行配置。部分常用的参数及参数说明如下：
从零开始用Rust编写nginx，命令行参数的设计与解析及说明
2024-02-02 09:28:01 56 阅读
