construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 10 x 14 binary matrices (0-indexed, one row per line). A: 00011000000001 10111011110001 00010101001100 00000010000011 11000010000011 00011100001011 00111000000100 00010000111001…
The task
A and B are 10 x 14 binary matrices (0-indexed, one row per line). A: 00011000000001 10111011110001 00010101001100 00000010000011 11000010000011 00011100001011 00111000000100 00010000111001 01001011101001 11110000100001 B: 11100000100001 11000011000101 00000011000001 00001111111011 00011101000100 00010101001011…