Dieser Teil der Arbeit enthält eine Einführung in den
Constraint-Formalismus und Übersichten sowohl zu den Eigenschaften
von Constraints als auch zu den bestehenden Konzepten zur
Constraint-Verarbeitung. Außerdem beinhaltet dieser Abschnitt eine
ausführliche Evaluierung und Bewertung existierender
Constraint-Systeme hinsichtlich ihrer Eignung für eine Integration in
das Konfigurierungswerkzeug ENGCON.