3.7.203. Run of a permutation

A constraint that can be used for putting a restriction on the size of the longest run of a permutation. A run is a maximal increasing contiguous subsequence in a permutation.