construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 9 x 3 binary matrices (0-indexed, one row per line). A: 011 111 110 100 110 101 110 111 010 B: 110 101 010 110 111 110 011 100 111
The task
A and B are 9 x 3 binary matrices (0-indexed, one row per line). A: 011 111 110 100 110 101 110 111 010 B: 110 101 010 110 111 110 011 100 111