Constraint on at least N unique digits in array

SystemVerilog
,
6

In reply to dave_59:

Hi Dave ,
I did not follow what is implied by this “foreach (unum[i]) num.sum() with (4’(item==unum[i]))==1;”

Thanks in Advance.