logical_to_linear

Transformation from BooleanVar and LogicalConstraint to Binary and Constraints.

Classes

CnfToLinearVisitor(indicator_var, binary_varlist)	Convert CNF logical constraint to linear constraints.
LogicalToLinear(**kwds)	Re-encode logical constraints as linear constraints, converting Boolean variables to binary.

Functions

update_boolean_vars_from_binary(model[, ...])

Updates all Boolean variables based on the value of their linked binary variables.