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