3.7.187. 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.