construct/mc all interval
construct/mc all interval: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). An all-interval series of size 7 is a permutation x 0..6 of 0..6 such that the absolute differences d i = x i+1 - x i (i = 0..5) form a permutation of 1..6.
The task
An all-interval series of size 7 is a permutation x[0..6] of 0..6 such that the absolute differences d[i] = |x[i+1] - x[i]| (i = 0..5) form a permutation of 1..6.