A dynamic directed acyclic graph library