我的模型求解结果是infeasible，进行了多次参数调试都无可行解
因此我使用model.computeIIS()查找矛盾约束，并生成ilp文件
MCFproblem.computeIIS()
MCFproblem.write('model.ilp')
得到的结果如下：
IIS computed: 1 constraints, 0 bounds
IIS runtime: 0.06 seconds (0.00 work units)
R756: = -12
我的原文代码一共 三百多行，怎么根据这个R756知道我的问题主要是哪一个约束矛盾？
这个问题产生的原因是在写约束的时候不规范，使用model.addConstr（）有两个参数，第一个参数是约束的表达式，第二个参数可以用name设置约束的名字，便于后续查找，例如model.addConstr（x+y<=0,name=con1),后续假如模型无解采用IIS查找约束时就可以直接输出约束的名字con1