This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.
