construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 3 x 10 binary matrices (0-indexed, one row per line). A: 1100100000 0010110001 0010000001 B: 0000110000 0100000101 0000111001
The task
A and B are 3 x 10 binary matrices (0-indexed, one row per line). A: 1100100000 0010110001 0010000001 B: 0000110000 0100000101 0000111001