m.computeIIS() m.write("Model.ilp") 这两行代码只能用于infeasible(不可行)model,将矛盾的约束条件填入Model.ilp文件中。 若在约束条件不矛盾时还用则会有上面的报错信息。