id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
9202	Binomial Heap not Stable	André Grahl Pereira <andre.grahl.ai@…>	timblechmann	Set the Binomial Heap as boost::heap::stable<true>, not  make the heap to be stable.	Bugs	closed	To Be Determined	heap	Boost 1.54.0	Problem	fixed	binomial_heap, stable