add-Eq-Constraints
