| Constraint | JaCoP specification |
| X = Const | XeqC(X, Const) |
| X = Y | XeqY(X, Y) |
| X≠Const | XneqC(X, Const) |
| X≠Y | XneqY(X, Y) |
| X > Const | XgtC(X, Const) |
| X > Y | XgtY(X, Y) |
| X ≥ Const | XgteqC(X, Const) |
| X ≥ Y | XgteqY(X, Y) |
| X < Const | XltC(X, Const) |
| X < Y | XltY(X, Y) |
| X ≤ Const | XlteqC(X, Const) |
| X ≤ Y | XlteqY(X, Y) |
| X ⋅ Const = Z | XmulCeqZ(X, Const, Z) |
| X ⋅ Y = Z | XmulYeqZ(X, Y, Z) |
| X ÷ Y = Z | XdivYeqZ(X, Y, Z) |
| X modY = Z | XmodYeqZ(X, Y, Z) |
| X + Const = Z | XplusCeqZ(X, Const, Z) |
| X + Y = Z | XplusYeqZ(X, Y, Z) |
| X + Y + Const = Z | XplusYplusCeqZ(X, Y, Const, Z) |
| X + Y + Q = Z | XplusYplusQeqZ(X, Y, Q, Z) |
| X + Const ≤ Z | XplusClteqZ(X, Const, Z) |
| X + Y ≤ Z | XplusYlteqZ(X, Y, Z) |
| X + Y > Const | XplusYgtC(X, Y, Const) |
| X + Y + Q > Const | XplusYplusQgtC(X, Y, Q, Const) |
| |X| = Y | AbsXeqY(X, Y) |
| XY = Z | XexpYeqZ(X, Y, Z) |