Use of constraint_generation in MixedIntegerLinearProgram
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, setting
Falseensures that the backend to Coin is not returned when
solver = None. This is set to
(N.B.: Shouldn't that be: backend to Coin is not returned -> Coin backend may be returned?)