add remove_constraint to solver to fix resize tool