construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 10 x 12 binary matrices (0-indexed, one row per line). A: 100101000001 101111111001 101110001001 110110101010 111010111001 100100010000 010001111110 001100011111 000011001101…
The task
A and B are 10 x 12 binary matrices (0-indexed, one row per line). A: 100101000001 101111111001 101110001001 110110101010 111010111001 100100010000 010001111110 001100011111 000011001101 100100100101 B: 011011100110 000100100010 111010010011 001101011111 101101101111 001110111001 001101101100 100101100000…