I would like to solve an LP problem using row generation (aka constraint generation), where I wish to be able to choose how the constraints are generated (this will be done using SAT, or WPMaxSAT through a binary MIP).
Now, in MixedIntegerLinearProgram, there is a boolean option constraint_generation. I do not find an explanation of its use and therefore whether it can be used for my stated purpose. So, can I, and if so, how?
Information found, but which did not make th option clear to me:
From the documentation:
constraint_generation whether to require the returned solver to support constraint generation (excludes Coin). False by default.
From the source code documentation:
constraint_generation(boolean) -- whether the solver returned is to be used for constraint/variable generation. As the interface with Coin does not support constraint/variable generation, settingconstraint_generationtoFalseensures that the backend to Coin is not returned whensolver = None. This is set toFalseby default.
(N.B.: Shouldn't that be: backend to Coin is not returned -> Coin backend may be returned?)
