Debugging Tool for MILP and MIQCP formulations: obtaining constraints responsible for infeasible or unbounded pyomo models using Gurobi solver.

Thumbnail
Count of file(s): 1
debug.py (5.480KB)
Date
Author
Type
Software
Metadata
Show full item record
Export
Text
BibTex
DataCite XML
JSON

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.

Subject

MILP;MIQCP;Debugging;Pyomo;Python

DFG subject classification

4.43-02 Softwaretechnik und Programmiersprachen

URI

Collections

The following license files are associated with this item:

Open Data Commons Attribution License (ODC-By) v1.0
Except where otherwise noted, this item's license is described as Open Data Commons Attribution License (ODC-By) v1.0