construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 4 x 5 binary matrices (0-indexed, one row per line). A: 00111 10001 00101 01100 B: 01010 11000 11100 10001
The task
A and B are 4 x 5 binary matrices (0-indexed, one row per line). A: 00111 10001 00101 01100 B: 01010 11000 11100 10001