NAME

Logic::Relational::Goal::AllDifferent - Constraint goal that all variables must have distinct values.