我有这个约束:
B #> P1*V1 + P2*V2 + P3*V3+ P4*V4 + P5*V5 + P6*V6 +P7*V7 + P8*V8 + P9*V9 + P10*V10
和P=[1,2,3,4,5,6,7,8,9,10] and V=[V1,V2,V3,....], V::0..1
我想用N
元素(基数P
和V
将是N
)以动态方式实现这个约束。
如果我用一个循环来实现它,我会遇到实例化问题,因为V
此时代码尚未标记。
解决了
我已经使用B #> P*V
直接在 CLP 中实现的标量产品解决了这个问题。