update of Dijkstra algorithm, with a proper priority queue
update of Dijkstra algorithm, with a proper priority queue

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition