Do you mind putting the link to the EDA-playground?

Thank you for wonderful examples. I noticed that code was not working for N>5. Adding this code in constraint fixed it. j < `N-1 -> permute[j] - permute[j+1] != 1;