#incremental #transition #dead #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

#13 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

~3.5–5MB
~84K SLoC