插件

Functions

load()

Modules

bounds_to_vars	将显式边界转换为变量边界的转换。
constraint_tightener
deactivate_trivial_constraints	转换以停用无关紧要的约束。
detect_fixed_vars	检测由边界固定的变量并修复它们的转换。
equality_propagate	通过等式集传播状态的转换。
induced_linearity	将非线性模型转化为由离散变量引起的线性模型的重新表述。
init_vars	自动初始化变量。
int_to_binary	将整数变量重新表述为二进制的转换。
remove_zero_terms	从约束中移除零项的转换。
strip_bounds	从模型中去除变量边界的转换。
var_aggregator	将相等的变量聚合的转换。
zero_sum_propagator	将零值传播到求和项的转换。