For example, the predicate isPerpendicular(AB, CD) is mapped to the constraint  straints can be non-trivial to write and often require manual engineering.
gEOS's constraint set is incomplete and it cannot solve a number of SAT style geometry problems.