Title: Solving mixed integer programs by automatic reformulation