3.7.82. Disequality

Denotes the fact that a disequality between two domain variables, one domain variable and a fixed value, or two set variables is used within the definition of a constraint. Denotes also the fact that the notion of disequality can be used within the informal definition of a constraint. This is for instance the case for the relaxation of the 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝 constraint (i.e.,  𝚜𝚘𝚏𝚝_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚌𝚝𝚛, 𝚜𝚘𝚏𝚝_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚟𝚊𝚛), which do not strictly enforce a disequality.