construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 5 x 5 binary matrices (0-indexed, one row per line). A: 01111 11101 11111 11011 00011 B: 01111 10111 00101 11111 11110
The task
A and B are 5 x 5 binary matrices (0-indexed, one row per line). A: 01111 11101 11111 11011 00011 B: 01111 10111 00101 11111 11110