This module contains functions for computing an irreducible infeasible set for a Pyomo MILP or LP using a specified commercial solver, one of CPLEX, Gurobi, or Xpress.
Classes
CplexConflict(solver)
CplexConflict
GurobiIIS(solver)
GurobiIIS
XpressIIS(solver)
XpressIIS
Functions
IISFactory(solver)
IISFactory
write_iis(pyomo_model, iis_file_name[, ...])
write_iis
Write an irreducible infeasible set for a Pyomo MILP or LP using the specified commercial solver.