z3-solver
pydantic
shapely
