#transition #dead #incremental #state #system #abstract #structure

bin+lib guided_digraph

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

1 unstable release

0.1.1 Jan 13, 2023

#21 in #dead

MIT license

150KB
3.5K SLoC

Guided Incremental Digraphs

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

Dependencies

~5.5MB
~105K SLoC