matiasbattocchia/lazy_priority_queue

lazy_priority_queue - A priority queue implemented using a lazy binomial heap. It allows change priority operation.