Ein rekursiver Backtracking-Solver für finite Domänen in Anlehnung an Marriott und Stuckey (1999, S. 90). In dieser Implementierung allerdings wird nicht nur true/false zurückgegeben, sondern ggf. eine Lösung generiert. Dies ist die erste Lösung, die durch den Suchalgorithmus aufgefunden wird. Der Solver eignet sich in erster Linie für die Überprüfung, ob ein Problem inkonsistent ist oder nicht.
Deklaration: