All-different constraint (source code)

= All-different constraint

= All-different
{synonym}