construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 7 x 2 binary matrices (0-indexed, one row per line). A: 10 10 10 10 00 11 10 B: 10 10 11 00 10 10 10
The task
A and B are 7 x 2 binary matrices (0-indexed, one row per line). A: 10 10 10 10 00 11 10 B: 10 10 11 00 10 10 10