construct/rlve largest rectangle
construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 25 distinct lattice points, indexed 0..24: 0: (1, -4) 1: (12, -9) 2: (12, 23) 3: (-17, -23) 4: (13, -10) 5: (4, -12) 6: (16, -14) 7: (16, 13) 8: (-10, -18) 9: (-19, 9) 10: (-8, -18) 11…
The task
You are given 25 distinct lattice points, indexed 0..24: 0: (1, -4) 1: (12, -9) 2: (12, 23) 3: (-17, -23) 4: (13, -10) 5: (4, -12) 6: (16, -14) 7: (16, 13) 8: (-10, -18) 9: (-19, 9) 10: (-8, -18) 11: (-8, -24) 12: (7, 24) 13: (-13, -9) 14: (11, -1) 15: (1, 15) 16: (14, -13) 17: (9, -1) 18: (-19, 13) 19: (6, 2) 20:…