## 5.133. divisible_or

Origin

Arithmetic.

Constraint

$\mathrm{𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎}_\mathrm{𝚘𝚛}\left(𝙲,𝙳\right)$

Synonym

$\mathrm{𝚍𝚒𝚟}_\mathrm{𝚘𝚛}$.

Arguments
 $𝙲$ $\mathrm{𝚍𝚟𝚊𝚛}$ $𝙳$ $\mathrm{𝚍𝚟𝚊𝚛}$
Restrictions
 $𝙲>0$ $𝙳>0$
Purpose

Enforce the fact that the first variable $𝙲$ is divisible by the second variable $𝙳$, or that $𝙳$ is divisible by $𝙲$.

Example
$\left(4,12\right)$

The $\mathrm{𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎}_\mathrm{𝚘𝚛}$ constraint holds since 12 is divisible by 4.