A library of algorithms and data structures for Ada 2012