使用CP-SAT解算器求解非线性目标函数

Question

我正在尝试将CP-SAT求解器与以下变量结合使用：x，y。我想在某些约束下最大化x**2-y*x形式的目标函数。我要

  

TypeError：**或pow（）不支持的操作数类型：'IntVar'和   'int'

错误消息。我能不能找到用于非线性目标函数的CP-SAT，因为找不到任何使用非线性目标的文档或示例，我是否正确？还是有某种方法可以做到这一点？

Answer 1

您必须使用AddMultiplicationEquality（x2，[x，x]）创建一个中间变量