replace LTL_AST.dump_dot with to_pydot
replace LTL_AST.dump_dot with to_pydot

because pydot is used by nx.write_dot. Use pydot's methods for saving any desired format supported by graphviz.
tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control