z3-solver==4.8.9.0
pydantic==1.7.2
shapely==1.7.1
