numpy
networkx
pydantic
z3-solver
