3.7.85. Disequality

Denotes 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 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.