| Constraint | JaCoP specification |
| P = Const | PeqC(P, Const) |
| P = Q | PeqQ(P, Q) |
| P≠Const | PneqC(P, Const) |
| P≠Q | PneqQ(P, Q) |
| P > Const | PgtC(P, Const) |
| P > Q | PgtQ(P, Q) |
| P ≥ Const | PgteqC(P, Const) |
| P ≥ Q | PgteqQ(P, Q) |
| P < Const | PltC(P, Const) |
| P < Q | PltQ(P, Q) |
| P ≤ Const | PlteqC(P, Const) |
| P ≤ Q | PlteqQ(P, Q) |
| P ⋅ Const = R | PmulCeqR(P, Const, R) |
| P ⋅ Q = R | PmulQeqR(P, Q, R) |
| P∕Q = R | PdivQeqR(P, Q, R) |
| P∕Const = R | PdivCeqR(P, Const, R) |
| P + Const = R | PplusCeqR(P, Const, R) |
| P + Q = R | PplusQeqR(P, Q, R) |
| P - Const = R | PminusCeqR(P, Const, R) |
| P - Q = R | PminusQeqR(P, Q, R) |
 = R | SqrtPeqR(P, Q) |
| sin(P) = R | SinPeqR(P, Q) |
| cos(P) = R | CosPeqR(P, Q) |
| tan(P) = R | TanPeqR(P, Q) |
| asin(P) = R | AsinPeqR(P, Q) |
| acos(P) = R | AcosPeqR(P, Q) |
| atan(P) = R | AtanPeqR(P, Q) |
| ln(P) = Q | LnPeqQ(P, Q) |
| exp(P) = Q | ExpPeqQ(P, Q) |
| |P| = Q | AbsPeqQ(P, Q) |
| V [Index] = V alue | Element(Index, V, Value) |
| X = P | XeqQ(X, P) where x is IntVar and P is FloatVar |