E.7.3 Klasse MAC3Solver

Einfacher MAC-3-Solver zur Lösungssuche mit look-ahead in einem Constraint-Problem mit finiten Domänen nach Dechter und Frost (2002, S. 175 u. 178). Der Solver wurde dahingehend modifiziert, dass anstatt lediglich einer Lösung alle möglichen Lösungen eines Problems gefunden werden.

Deklaration:

• public class MAC3Solver
  extends SearchSolver