This isn’t just basic CRUD software that just needs some Postgres constraints to model trivial business logic. These are genuinely hard problems that mathematicians have been working on for decades.
I'm not an expert, but these types of heuristics intuitively seem hard to model. The goal is to guess the user's design intent. There's often no single correct answer, it may require information from parts of the system that the core application's model doesn't have, there may be many heuristics depending on what's being designed.
These heuristics seem like exactly the sort of thing that commercial CAD applications can afford to spend resources on, and that open-source community-driven applications would struggle with.