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 distinct integers between 1 and , 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.