manbet体育手机客户端

SOS1-to-binary重配方的阈值

控制SOS1约束自动重新形成二进制形式。使用二进制表示通常可以更有效地处理SOS1约束。重新规划常常需要大m作为系数引入的值。该参数指定最大的大m在执行这个重新配方时，可以通过预溶解来引入。较大的值增加了SOS1约束被重新表述的机会，但是非常大的值(例如，1e8)可能会导致数值问题。

默认值-1为自动选择阈值。您应该将该参数设置为0以完全关闭SOS1重新配方，或者设置较大的值以强制重新配方。

有关如何从不同的api查询或修改参数值的示例，请参阅我们的参数的例子．

请参考本节以获得更多有关SOS约束的信息。