Enforce the fact that the product of the first and second variables is less than or equal to 0.
The constraint holds since 6 and do not have the same sign.
Arguments are permutable w.r.t. permutation .
- See also