A question about modeling of if-else constraint in cvx

You didn’t say before that this is part of a Geometric Program. CVX will solve the GP using its successive approximation method, However, the successive approximation method does not work correctly for integer (binary) variables. So I don’t think this can be done in CVX.