Global Constraint Catalog: Cdivisible

5.133. divisible_or

DESCRIPTION

LINKS

Origin

Arithmetic.

Constraint

$𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎_𝚘𝚛 (𝙲, 𝙳)$

Synonym

$𝚍𝚒𝚟_𝚘𝚛$ .

Arguments

$𝙲$	$𝚍𝚟𝚊𝚛$
$𝙳$	$𝚍𝚟𝚊𝚛$

Restrictions

𝙲 > 0

𝙳 > 0

Purpose

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

Example

(4, 12)

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

See also

implied by: $𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎$ .

implies: $𝚜𝚊𝚖𝚎_𝚜𝚒𝚐𝚗$ , $𝚣𝚎𝚛𝚘_𝚘𝚛_𝚗𝚘𝚝_𝚣𝚎𝚛𝚘$ .

Keywords

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.