5. Global Constraint Catalogue

5.132. divisible

DESCRIPTION

LINKS

Origin

Arithmetic.

Constraint

$𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎 (𝚀, 𝙳)$

Synonym

$𝚍𝚒𝚟$ .

Arguments

$𝚀$	$𝚍𝚟𝚊𝚛$
$𝙳$	$𝚍𝚟𝚊𝚛$

Restrictions

𝚀 \geq 0

𝙳 > 0

Purpose

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

Example

(12, 4)

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

Typical

𝚀 > 1

𝙳 < 𝚀

See also

implies: $𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎_𝚘𝚛$ .

Keywords

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.

filtering: arc-consistency.