construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 20 x 11 binary matrices (0-indexed, one row per line). A: 11001001000 11001000000 10110011001 00100010101 00000001101 11000000100 00101001011 00010000100 00000000100 00000000000…
The task
A and B are 20 x 11 binary matrices (0-indexed, one row per line). A: 11001001000 11001000000 10110011001 00100010101 00000001101 11000000100 00101001011 00010000100 00000000100 00000000000 00010010000 10000110010 00001101000 00010000000 10100101000 00000100010 10010000001 00001000001 00101010000 00001001001 B:…