correct and cleanup equality constraint formulation
add infeasibility debugging with gurobi