mis === .. automodule:: pyomo.contrib.iis.mis :undoc-members: .. rubric:: Functions .. autosummary:: :toctree: :template: recursive-base.rst compute_infeasibility_explanation