numpy
matplotlib
scipy
tqdm
shapely
z3-solver
networkx
utm
