Minimal Intractable System (MIS) finder
Originally written by Ben Knueven as part of the WaterTAP project. Copied by DLW 18Feb2024 and edited.
See: http://www.sce.carleton.ca/faculty/chinneck/docs/CPAIOR07InfeasibilityTutorial.pdf
Functions
compute_infeasibility_explanation(model, solver)
compute_infeasibility_explanation
This function attempts to determine why a given model is infeasible.