在 OR 工具中实现 newintvar 和布尔变量对的求和

Question

有没有一种 OR-tools 方法可以用一对 ortools 变量的和（newintvar 和 boolean var）创建一个等式约束？

无需经过中间变量和乘法等式约束。

pairlist = [[newintvar1,booleanvar1],
[newintvar2,booleanvar2],
[newintvar3,booleanvar3],
[newintvar4,booleanvar4],
[newintvar5,booleanvar5],...]

add(myNewintvar == sum(a[0]*a[1] for a in pairlist))

提前致谢:)

Answer 1

没有捷径。

您需要创建中间变量。