heapdict (pypi): a heap with decrease-key and increase-key operations
Keywords: heap|decrease-key|increase-key|dictionary|Dijkstra|A*|priority|queue