AC-3-LA algorithmus implementiert (läuft noch nicht)

Damit der algorithmus funktionieren kann, fehlen noch implementationen
von revise, getDomain und checkNotEmpty. ToDo: unit-tests