`assert-constraint-efd!``constraint``ds`procedure`assert-constraint-fc!``constraint``ds`procedure`assert-constraint-vp!``constraint``ds`procedure`assert-constraint-gfc!``constraint``ds`procedure`assert-constraint-ac!``constraint``ds`procedureAssert each of the 5 kinds of constraints between the list of domain-variables ds. You can always use

*assert-constraint!*instead as it will pick an optimized version for each of the above if the arity of the constraint is low.