An dieser Stelle werden unterschiedliche Ansätze von Constraint-Systemen hinsichtlich ihrer Eignung für das strukturbasierte Konfigurierungswerkzeug ENGCON betrachtet. Dieser Abschnitt untergliedert sich hierfür in vier Bereiche. Zuerst werden Programmiersprachen mit integrierten Constraint-Solvern vorgestellt, danach Bibliotheken, die Constraint-Mechanismen zur Anbindung auf programmiersprachlicher Ebene anbieten. Darauf folgend werden Constraint-Frameworks untersucht, die es ermöglichen, auf einfache Weise Constraint-Solver zu implementieren und zu nutzen. Als Letztes werden kooperative Ansätze betrachtet, die es unterschiedlichen Constraint-Solvern erlauben, Constraint-Probleme gemeinsam zu verarbeiten und aufzulösen.
Aufgrund der großen Anzahl kommerzieller und frei erhältlicher Constraint-Systeme können in diesem Abschnitt nicht sämtliche verfügbaren Constraint-Systeme im Detail aufgeführt werden. Ausführliche Übersichten und Links zu den entsprechenden Bezugsquellen sind im Internet z.B. im Archiv des Cork Constraint Computation Centre4.23 des University College Cork, in der FAQ der Newsgroup comp.constraints4.24, unter constraint.org4.25, auf der Link-Seite der CSPLib4.26 und im On-Line Guide to Constraint Programming4.27 von Roman Barták zu finden. Im Folgenden können für jeden Teilbereich lediglich eine exemplarische Auswahl angesprochen und deren wichtigsten Eigenschaften aufgezeigt werden.