## 5.132. divisible

Origin

Arithmetic.

Constraint

$\mathrm{𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎}\left(𝚀,𝙳\right)$

Synonym

$\mathrm{𝚍𝚒𝚟}$.

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

Enforce the fact that the first variable $𝚀$ is divisible by the second variable $𝙳$.

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

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

Typical
 $𝚀>1$ $𝙳<𝚀$