guided_digraph

Crates.ioguided_digraph
lib.rsguided_digraph
version0.1.1
sourcesrc
created_at2023-01-13 19:31:25.201394
updated_at2023-01-13 19:31:25.201394
descriptionA data structure for incremental live and dead state detection in an abstract transition system
homepage
repositoryhttps://github.com/cdstanford/gid
max_upload_size
id758125
size185,517
Caleb Stanford (cdstanford)

documentation

README

Guided Incremental Digraphs

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

Commit count: 365

cargo fmt