How can I write an expression of constraints as, if and only if variable_a ≠ variable_b, then variable_c=1, without violates DCP rule in cvxpy. I find the big-M rewritimg wh