3.7.168. Overlapping alldifferent

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