Durch das Programm YacsTester konnte gezeigt werden, dass sich mit dem YACS-Framework unterschiedliche Problemstellungen unabhängig voneinander mit unterschiedlichen Constraint-Lösungsstrategien verarbeiten lassen. Dabei können verschiedene Domänen bearbeitet werden: sowohl numerische und symbolische finite Domänen als auch intervallwertige infinite Domänen.
Das YACS-Framework bietet unterschiedliche Konsistenz- und Suchalgorithmen zur Auflösung von Constraint-Problemen. Constraints lassen sich inkrementell dem Lösungsprozess zuführen. Ebenso können Wertebereichseinschränkungen jederzeit vorgenommen werden. Der Constraint-Auswertevorgang kann nach solchen Aktionen wiederholt durchgeführt werden.
Anhand des Programms YacsTester wurde die Nutzung der ,,äußeren Schnittstelle`` (vgl. Abschnitt 7.9.2) des YACS-Frameworks demonstriert. Die für die Initialisierung, Auswertung und Rückgabe der Ergebnisse der Constraint-Probleme benötigten Methoden werden für den Benutzer übersichtlich im Constraint-Manager von YACS zur Verfügung gestellt. Das Programm YacsTester ist vollständig in Anhang F ff. dokumentiert.
Nach diesen Validierungen mit unterschiedlichen synthetischen Problemstellungen soll anhand der Konfigurierung mit ENGCON die Praxistauglichkeit des YACS-Frameworks demonstriert werden.