Interface für Constraint-Solver innerhalb von YACS.
Deklaration:
Methoden:
Methode zur Initiierung des Lösungsprozesses des jeweiligen Constraint-Solvers. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.