Reformulate ```julia expr1 ⟂ exp2 expr1 ⟂ exp3 expr3 ⟂ exp4 expr3 ⟂ exp4 ``` by replacing `expr1` and `expr3` with a variable. AMPL supports complementarity between two expressions but no solver supports it.
Reformulate
by replacing
expr1andexpr3with a variable. AMPL supports complementarity between two expressions but no solver supports it.