CplexConflict

(class from pyomo.contrib.iis.iis)

class pyomo.contrib.iis.iis.CplexConflict(solver)[source]

Bases: _IISBase

__init__(solver)

Methods

__init__(solver)

compute()

computes the IIS/Conflict

write(file_name)

writes the IIS in LP format return the file name written

Member Documentation

compute()[source]

computes the IIS/Conflict

write(file_name)[source]

writes the IIS in LP format return the file name written