IISSOS


IISSOS

类型: int
修改: 没有

对于不可行模型,表明SOS约束是否参与计算的不可约不一致子系统(IIS)。仅在计算完IIS后可用。

有关如何查询或修改属性的示例,请参阅我们的属性的例子