初始化集合覆盖

(函数来自 pyomo.contrib.gdpopt.discrete_problem_initialize)

pyomo.contrib.gdpopt.discrete_problem_initialize.init_set_covering(util_block, discrete_problem_util_block, subprob_util_block, config, solver)

通过解决问题来初始化，以覆盖所有析取项的集合。

此初始化的目的是生成与每个析取对应的线性化。

这项工作基于卡内基梅隆大学的Eloy Fernandez所做的原型工作。