Efficient graph data structures and algorithms for fast slicing, visualization, and editing - View it on GitHub