在写约束时，如何实现两个数组之间大小的约束

zuiqiangzhe

比如
rand int A[10];
rand int B[10];

如何实现A[i] < B[i]这种约束条件？

A1985

constraint c {
    foreach(A[i])
      A[i] < B[i];
}

zuiqiangzhe

回复 2# A1985


    多谢，是这样的