This aggregator groups binary constraints of difference (x != y) and recognizes alldiff constraints as much as possible. It posts these constraints at extraction in place of every set of binary difference constraints that represent an alldiff constraint.