I have a variable which I define as

```
variable x(T,T) binary
variable y(T,U) binary
```

\tau(u) is known which is an integer number (strictly positive)

t=1,2,\cdots, T and u=1,2,\cdots, U

There are many constraints in problem that I can write in CVX.

below are the constraints I am not able to express them in CVX.

- x_{t,t'}=x_{t',t}, \forall t\neq t'
- x_{t,t}+x_{t',t'}+x_{t,t'}\le 2, \forall t\neq t'
- y_{t,u}=x_{\tau(u),t}, \forall u, \forall t\neq \tau(u)

Any support is highly appreciated.