In reply to dave_59:
In reply to shanshan:
Can you give us a complete example and show results that you were not expecting. I find it hard to believe you would get a repeating value for C[Ii] given there are 232-1 possible values. Also, you probably meant to write the constraint with parenthesis
C[I] == (A[i] & B[i]);
sorry, dave, correct my words.
I check my result again. C could be unique value. But the equation C = A & B does not meet.
My VCS version is 2017-12-01-sp2-1