### 3.1 Primitive constraints

JaCoP offers a set of primitive constraints that include basic arithmetic operations
(+,-,*,∕) as well as basic relations (=,≠,<,≤,>,≥). Subtraction and division are not
provided explicitly, but since constraints define relations between variables, they are defined
using addition and multiplication. For detailed list of primitive constraint see appendix
A.1.

Primitive constraints can be used as arguments in logical and conditional constraints.