3.7.176. Overlapping alldifferent

A constraint expressing several 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝 constraints having some variables in common.