## 5.252. opposite_sign

Origin

Arithmetic.

Constraint

$\mathrm{𝚘𝚙𝚙𝚘𝚜𝚒𝚝𝚎}_\mathrm{𝚜𝚒𝚐𝚗}\left(\mathrm{𝚅𝙰𝚁}\mathtt{1},\mathrm{𝚅𝙰𝚁}\mathtt{2}\right)$

Arguments
 $\mathrm{𝚅𝙰𝚁}\mathtt{1}$ $\mathrm{𝚍𝚟𝚊𝚛}$ $\mathrm{𝚅𝙰𝚁}\mathtt{2}$ $\mathrm{𝚍𝚟𝚊𝚛}$
Restriction
Purpose

Enforce the fact that the product of the first and second variables is less than or equal to 0.

Example
$\left(6,-3\right)$

The $\mathrm{𝚘𝚙𝚙𝚘𝚜𝚒𝚝𝚎}_\mathrm{𝚜𝚒𝚐𝚗}$ constraint holds since 6 and $-3$ do not have the same sign.

Symmetry

Arguments are permutable w.r.t. permutation $\left(\mathrm{𝚅𝙰𝚁}\mathtt{1},\mathrm{𝚅𝙰𝚁}\mathtt{2}\right)$.