plugins

Functions

load()

Modules

bounds_to_vars	Transformation to convert explicit bounds to variable bounds.
constraint_tightener
deactivate_trivial_constraints	Transformation to deactivate trivial constraints.
detect_fixed_vars	Transformation to detect variables fixed by bounds and fix them.
equality_propagate	Transformation to propagate state through an equality set.
induced_linearity	Transformation to reformulate nonlinear models with linearity induced from discrete variables.
init_vars	Automatically initialize variables.
int_to_binary	Transformation to reformulate integer variables into binary.
remove_zero_terms	Transformation to remove zero terms from constraints.
strip_bounds	Transformation to strip variable bounds from a model.
var_aggregator	Transformation to aggregate equal variables.
zero_sum_propagator	Transformation to propagate a zero value to terms of a sum.