Constraint for a random 5 digit number

Hi,

I need to write a constraint to generate a random 5 digit number such that all the digits should be different from one another.

Ex: 89057, 51243 etc…

Thanks in advance.

In reply to A E Aravind:

What have you tried so far that isn’t working for you? Post all of your current code so that someone can provide help.