now gauss use add_constr