guided_digraph 0.1.1

A data structure for incremental live and dead state detection in an abstract transition system
Documentation