This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.
'net.automatalib:automata-util:0.3.1-ase2013-tutorial'
<dependency>
<groupId>net.automatalib</groupId>
<artifactId>automata-util</artifactId>
<version>0.3.1-ase2013-tutorial</version>
</dependency>
<dependency org="net.automatalib" name="automata-util" rev="0.3.1-ase2013-tutorial"/>
"net.automatalib", "automata-util", "0.3.1-ase2013-tutorial"