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