gym-minigrid
seaborn
networkx
cvxpy
pydot
jupyter