Zunächst wird an dieser Stelle die Ausgabe für die Strategie low_consistency betrachtet. Die FD-Variablen x, y und z wiesen zu Beginn jeweils eine Domäne mit den Werten von 0 bis 9 auf. Durch das Constraint z<=2 müssen alle Werte aus der Domäne von z entfernt werden, die größer 2 sind. Das Constraint 3+y<7 bewirkt, dass aus der Domäne von y alle Werte entfernt werden, die größer 3 sind:
Ergebnis fuer Knotenkonsistenz: =============================== Strategie: 'low_consistency' Expression: (x<y); (y<z); (z<=2); ((3+y)<7) Primitive Constraints: (4) (x<y) (y<z) (z<=2) ((3+y)<7) Variablen: [z, y, x] Domaenen der Constraint-Variablen: (3) z: [0, 1, 2] y: [0, 1, 2, 3] x: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] Inkonsistenz: false Ergebnis ist knotenkonsistent!
Nach der Propagation durch NCSolver wurden die Domänen von z und y entsprechend der Constraints eingeschränkt. Die Constraints x<y und y<z wurden nicht berücksichtigt, da es sich bei NCSolver lediglich um Knotenkonsistenz handelt. Das resultierende Constraint-Netz ist dementsprechend knotenkonsistent.