python / ortools / cpsolver - 如果 z 在 x 和 y 之间，a = b

问题描述

在 python 中使用 ortools/cpsolver，我试图用布尔值和约束对以下内容进行建模：

如果 z 介于 5 和 10 之间，则 a 等于 20

我试过使用这样的布尔值：

newboolvar(b1)
newboolvar(b2)

1 - add(z>=5).onlyenforceif(b1)
    add(z<5).onlyenforceif(b1).Not()
2 - add(z<=10).onlyenforceif(b2)
    add(z>10).onlyenforceif(b2).Not()
3 - (a==20).onlyenforceif(b1 & b2)

但是你不能在 boolvar/intvar 上做 &，所以第三步不起作用

如何实现？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

or-tools python