construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 18 x 11 binary matrices (0-indexed, one row per line). A: 10011110110 00110001010 01110111111 11111101101 00110010101 01001111010 10100011100 11111111101 11111110011 00010111110…
The task
A and B are 18 x 11 binary matrices (0-indexed, one row per line). A: 10011110110 00110001010 01110111111 11111101101 00110010101 01001111010 10100011100 11111111101 11111110011 00010111110 11101100111 01111110010 10000110110 11001100111 01110011011 10000111111 10101101111 01110110001 B: 10001101110 01111110111…