z3-solver
ipywidgets
matplotlib
networkx
