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