Für den zweiten Auswertevorgang wurde für die Strategie simple_search die Domäne der FD-Variable Z vergrößert: [1, 2, 3]. Für das Problem existiert nun mit der Belegung X=1, Y=2 und Z=3 eine Lösung. Das Ergebnis der Auswertung durch die Strategie simple_search sieht wie folgt aus:
Ergebnis fuer Simple Search: ============================ Strategie: 'simple_search' Expression: (X<Y); (Y<Z) Primitive Constraints: (2) (X<Y) (Y<Z) Variablen: [Z, Y, X] Domaenen der Constraint-Variablen: (3) Z: [1, 2, 3] Y: [1, 2] X: [1, 2] Inkonsistenz: false Loesung(en): (1) Z = 3, Y = 2, X = 1;
Wie erwartet kann durch die Strategie simple_search für das modifizierte Constraint-Problem die Lösung generiert werden. Im Gegensatz zum Ergebnis des ersten Auswertevorgangs ist das Constraint-Netz daher entsprechend wieder als konsistent markiert.