Modules
add_slack_vars
discrete_vars
eliminate_fixed_vars
equality_transform
expand_connectors
hierarchy
logical_to_linear
Transformation from BooleanVar and LogicalConstraint to Binary and Constraints.
lp_dual
model
nonnegative_transform
radix_linearization
relax_integrality
scaling
standard_form
util