Count unique values in an array or a queue

In reply to dave_59:


I tried the followin code in Questa, i am getting constraint solver failure. 

module tb();
  
  class demo; 
    
    int values[];
    
    constraint values_c{
      values.size() == 5;
      values.unique().size() == 2;
    }
    
    
  endclass 
  
  
  demo demo_h = new();
  
  initial begin 
    demo_h.randomize();
    $display("values %0p",demo_h.values);
  end
  
endmodule