5.136. geq

DESCRIPTIONLINKS
Origin

Arithmetic.

Constraint

𝚐𝚎𝚚(𝚅𝙰𝚁1,𝚅𝙰𝚁2)

Synonyms

𝚛𝚎𝚕, 𝚡𝚐𝚝𝚎𝚚𝚢.

Arguments
𝚅𝙰𝚁1𝚍𝚟𝚊𝚛
𝚅𝙰𝚁2𝚍𝚟𝚊𝚛
Purpose

Enforce the fact that the first variable is greater than or equal to the second variable.

Example
(8,1)

The 𝚐𝚎𝚚 constraint holds since 8 is greater than or equal to 1.

Typical
𝚅𝙰𝚁1>𝚅𝙰𝚁2
Symmetries
  • 𝚅𝙰𝚁1 can be replaced by any value 𝚅𝙰𝚁2.

  • 𝚅𝙰𝚁2 can be replaced by any value 𝚅𝙰𝚁1.

Systems

geq in Choco, rel in Gecode, xgteqy in JaCoP, #>= in SICStus.

See also

common keyword: 𝚗𝚎𝚚 (binary constraint,arithmetic constraint).

generalisation: 𝚐𝚎𝚚_𝚌𝚜𝚝 (𝚌𝚘𝚗𝚜𝚝𝚊𝚗𝚝 added).

implied by: 𝚊𝚋𝚜_𝚟𝚊𝚕𝚞𝚎, 𝚎𝚚, 𝚐𝚝.

implies if swap arguments: 𝚕𝚎𝚚.

negation: 𝚕𝚝.

Keywords

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.

filtering: arc-consistency.