construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 4 x 7 binary matrices (0-indexed, one row per line). A: 1001111 1110011 1110101 1111110 B: 1101110 1011011 1110011 1111101
The task
A and B are 4 x 7 binary matrices (0-indexed, one row per line). A: 1001111 1110011 1110101 1111110 B: 1101110 1011011 1110011 1111101