z3-solver
ipykernel
graphviz
