In reply to dave_59:
If the largest element of your array is 32’hFFFF_FFFF and there are 10 elements, you need to make sure that (32’hFFFF_FFFF * 4’hA) does not overflow.
Could you please elaborate on this. I cannot seem to understand why should this be needed.
By this: " array.sum() == 10;", we are instructing the solver to sum all elements and constraint it to 10 - correct?
Why is this additional logic - where 32’hFFFF_FFFF*4’hA need to be considered?