Infeasible LP and Farkas Certificate

Is there any JuMP (or other) method to retrieve Farkas certificate from an infeasible lp model? I am using Clp, Gurobi, or Ipopt solver for solving the lp problem modeled using JuMP.

Thank you.

Yes, if the termination_status is INFEASIBILITY_CERTIFICATE then dual gives you a infeasibility certificate.


@blegat thank you so much.

1 Like