Die Möglichkeiten den Constraint-Formalismus, d.h. für eine Menge von Variablen konsistente Belegungen bzgl. einer Menge von Constraints zu finden, für unterschiedliche Anwendungen nutzbar zu machen, sind äußerst vielfältig. Dieser Bereich ist bis heute aktiver Forschungsgegenstand. Im Wesentlichen wurden bisher eine Reihe von unterschiedlichen Rahmenkonzepten entwickelt, mit deren Hilfe Constraint-Mechanismen in verschiedenen Anwendungsszenarien eingesetzt werden können. Im Folgenden werden die geläufigsten Ansätze vorgestellt.