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.