A priority queue implemented using a lazy binomial heap. It allows change priority operation.
Primary LanguageRuby