frozendict
networkx
sympy
z3-solver
