Planning a Pool Around an Existing Patio

https://leetcode.com/u/waveoutdoorspools/

Many backyards already have a patio, and a new pool raises the question of whether to keep it, extend it or replace it. Working with an existing patio can save effort and preserve a familiar space, but only if it genuinely fits the new layout.