python-3.x - Is there any way to create a conditional constraint while using CBC solver with or-tools?

Question

Lets suppose I use BoolVars called 'x,y,z' in my MIP problem and I would like to set a contraint like :

 3x + 4y <= 5*z  only if z = 1

I would I do that using CBC solver in ortools library for python?

Answer 1

目前没有。我们正在重写线性求解器包装器以支持这些。

话虽如此，我不知道他们是否得到CBC的支持。如果您的问题是纯整数，CP-SAT 求解器本身就支持隐含约束。