Constraint-Solver vollständig implementiert, Scheint in eine endlossschleife zu laufen.

Unsicher bei: wie AC3-LA die aktualisierten Domänen der variablen wieder an solve_csp übergibt