[Scip] How to use OR clauses in constraints

[Navid Mohaghegh]

Hi All,

I am new to SCIP and trying to implement a very simple example:

Imagine we have Q,R,S and T integer variables ranging from 0 to 10.

Our objective is to maximize Q + R + S + T
And our constraint is: (q <= 4r + 20 && q >=  2r) || ( (q > 4r + 20 && (t < r || s < r))  

I am trying to use ZIMPL, but can't find how can I use OR in my constraints.

Could you help me with this either directly in SCIP or ZIMPL?

Thank you,
Navid