Debugging Tool for MILP and MIQCP formulations: obtaining constraints responsible for infeasible or unbounded pyomo models using Gurobi solver.
Loading...
Files
Date
2022-05-10
Type
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Optimization problems, in this case written in Pyomo, with modeling errors can lead to infeasibility of the model. From the perspective of the modeler, it is therefore essential to know which constraints lead to the infeasibility of the problem or which constraints are contradictory and which constraints have to be adjusted to make the model feasible.
In this case, the IIS (Irreducible Inconsistent Subsystem) function of Gurobi is used as a basis, the interface to Pyomo is implemented and a structured output file is created.
Citation
Endorsement
DFG Classification
Project(s)
Faculty
License
Except where otherwise noted, this license is described as Open Data Commons Attribution License (ODC-By) v1.0