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