### 3.7.179. Permutation channel

A constraint that allows for modelling the link between a permutation and its inverse permutation. A permutation is a rearrangement of $n$ distinct integers between 1 and $n$, where none are changed, added or lost. An inverse permutation is a permutation in which each number and the number of its position are swapped.