1 unstable release
| 0.1.1 | Jan 13, 2023 |
|---|
#13 in #dead
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
A data structure for incremental live and dead state detection in an abstract transition system
| 0.1.1 | Jan 13, 2023 |
|---|
#13 in #dead
150KB
3.5K
SLoC
A data structure for incremental live and dead state detection in an abstract transition system.
~3.5–5MB
~84K SLoC