Add Constraint-Solving into dict