使用cp-sat解决非线性问题

CP-SAT Solver Overview: CP-SAT 是 OrTools 提供的一个高效的约束规划求解器。它不仅能够处理约束问题，还可以设定目标函数，使其在求解效率方面在开源免费求解器中表现突出。

Solver Capabilities: 尽管 Google 官方对 CP-SAT 的介绍相对较少，但其求解功能却非常强大。用户需要深入研究 CP-SAT 的底层 API 才能充分利用其强大的求解能力。

Modeling Non-linear Problems: 本文旨在介绍如何利用 CP-SAT 求解非线性规划问题的建模技巧，通过一个简单的示例来展示其建模过程。

Example Constraints: 在一个简单的非线性问题中，考虑的约束条件是变量 x1 和 x2 必须是0到20之间的整数。