According to the documentation the only MIP solver that implements lazy constraints is SCIP:
|
// *** This is only supported for SCIP and has no effect on other solvers. *** |
But reading through the code of
linear_solver.cc it looks as if the condition is passed in the
MakeRowConstraint function:
|
ct->set_is_lazy(ct_proto.is_lazy()); |
Is there any reason for it not to work with the other solvers?
My application relies on Lazy constraints and not being able to use them with these solvers may lead me not to use the or-tools interface.
According to the documentation the only MIP solver that implements lazy constraints is SCIP:
or-tools/ortools/linear_solver/linear_solver.h
Line 971 in f3fd201
But reading through the code of
linear_solver.ccit looks as if the condition is passed in theMakeRowConstraintfunction:or-tools/ortools/linear_solver/linear_solver.cc
Line 616 in f3fd201
Is there any reason for it not to work with the other solvers?
My application relies on Lazy constraints and not being able to use them with these solvers may lead me not to use the or-tools interface.