In reply to Alokpati:
Shouldn’t there be an additional constraint to ensure d’s value is within arr ?
constraint INSIDE { d inside { arr } ; }
In reply to Alokpati:
Shouldn’t there be an additional constraint to ensure d’s value is within arr ?
constraint INSIDE { d inside { arr } ; }