An implementation of Dijkstra's shortest path algorithm in Python