| Constraint | JaCoP specification |
| e ∈ A | EinA(e, A) |
| S1 = 2 | AeqB(S1, S2) |
| S1 ⊆ S2 | AinB(S1, S2) |
| S1 ⋃ S2 = S3 | AunionBeqC(S1, S2, S3) |
| S1 ⋂ S2 = S3 | AintersectBeqC(S1, S2, S3) |
| S1 \ S2 = S3 | AdiffBeqC(S1, S2, S3) |
| S1 <> S2 | AdisjointB(S1, S2) |
| Match | Match(Set, VarArray) |
| #S1 = X | CardAeqX(S, X) |
| Weighted sum < S, W > = X | SumWeightedSet(S, W, X) |
| Set[X] = Y | ElementSet(X, Set, Y) |