Artifact for Incremental Dead State Detection in Logarithmic Time

You will need a working installation of Docker. Run docker run hello-world to see if it is working properly. You should have a file gid.tar.gz which contains the docker image. Please load the image with: docker load < gid.tar.gz (this should take less than 5 minutes). You can see all of your images with docker image ls you should see one listed as "gid gid" or "gid latest". Load the image into an interactive container with docker run -it gid This should bring you into an Ubuntu shell to continue the remainder of the instructions. You can quit the shell (and exit the container) with ctrl-D (or cmd-D on mac). Outside of this shell, you can see all (past and currently running) containers with `docker ps -a`. Once you have loaded the Docker container, please open README.md to view further information about the artifact and instructions.This artifact is also available as a GitHub repository at: https://github.com/cdstanford/gid and as a Rust (Cargo) crate at: https://crates.io/crates/guided_digrap