文章目录1.引言2.追溯不可行集的四种方法2.1通过约束增减进行判断2.2通过computeIIS函数获得冲突集2.3利用feasRelaxS()或feasRelax()函数辅助排查2.4利用IISForce属性1.引言模型不可行是一个让工程师头疼的问题，对于复杂模型而言，导致模型