Bei dieser ganzen Sache gibt es doch ein generelles Problem:

Angenommen wir haben die Gleichung a+b = c als "Constraint-System" implementiert und alle drei Variablen haben gültige Werte, z.B. a=1, b=2, c=3. Setzen wir nun c=5; was soll das "Constraint-System" nun tun? a=3 setzen oder b=4?

Langer Rede kurzer Sinn: Das gewünschte Verhalten ist gar nicht wohldefiniert!