logical_to_linear

从BooleanVar和LogicalConstraint到Binary和Constraints的转换。

Classes

CnfToLinearVisitor(indicator_var, binary_varlist)	将CNF逻辑约束转换为线性约束。
LogicalToLinear(**kwds)	将逻辑约束重新编码为线性约束，将布尔变量转换为二进制。

Functions

update_boolean_vars_from_binary(model[, ...])

根据其链接的二进制变量的值更新所有布尔变量。