#!/bin/env python

from __future__ import print_function

import xpress as xp

minf = xp.problem ("ex-infeas")

x0 = xp.var()
x1 = xp.var()
x2 = xp.var(vartype = xp.binary)

minf.addVariable (x0,x1,x2)

c1 =     x0 + 2 * x1 >= 1
c2 = 2 * x0 +     x1 >= 1
c3 =     x0 +     x1 <= 0,5

minf.addConstraint (c1,c2,c3)
minf.solve()
minf.iisall()
print ("there are ", minf.attributes.numiis, " iis's")

miisrow = []
miiscol = []
constrainttype = []
colbndtype = []
duals = []
rdcs = []
isolationrows = []
isolationcols = []

# get data for the first IIS

minf.getiisdata (1, miisrow, miiscol, constrainttype, colbndtype, duals, rdcs, isolationrows, isolationcols)

print ("iis data:", miisrow, miiscol, constrainttype, colbndtype, duals, rdcs, isolationrows, isolationcols)

# Another way to check IIS isolations
print ("iis isolations:", minf.iisisolations (1))

rowsizes  = []
colsizes  = []
suminfeas = []
numinfeas = []

print ("iisstatus:", minf.iisstatus (rowsizes, colsizes, suminfeas, numinfeas))
print ("vectors:", rowsizes, colsizes, suminfeas, numinfeas)