or-tools - or-tools，CP SAT：在目标函数中使用 AddDivisionEquality 的目标

Question

亲爱的，是否可以使用 CP SAT（或工具）的 AddDivisionEquality 的目标值作为在目标函数中最大化的变量？

标签： or-tools

Answer 1

当然。任何变量的线性组合都是有效的目标函数。