Constraint randomization of an array

[dave_59]

In reply to Jonathan_Alvarez:
Or use

vf.sum with (32'(item)) == 2048;