Infeasible LP and Farkas Certificate

Specific Domains Optimization (Mathematical)
1

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.

2

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

4 Likes
3

@blegat thank you so much.

1 Like