Modules
iis
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.
mis
Minimal Intractable System (MIS) finder