construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 17 x 13 binary matrices (0-indexed, one row per line). A: 0000000000011 0000000000000 0010000000000 0100000000011 0000000000000 0011100100000 0000000000000 0000100000000…
The task
A and B are 17 x 13 binary matrices (0-indexed, one row per line). A: 0000000000011 0000000000000 0010000000000 0100000000011 0000000000000 0011100100000 0000000000000 0000100000000 0000000011000 0001000001000 0000000000000 1100000001100 0000000000000 0000000000010 0010010000000 0100100000001 1010000000000 B:…