私はこの制約を持っています:
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(のカーディナリティPand Vwill be N)。
これをサイクルで実装すると、Vコードのこの時点ではまだラベル付けされていないため、インスタンス化の問題が発生します。
解決済み
B #> P*VCLP に直接実装されたスカラー積を使用して質問を解決しました。