This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.
<dependency>
<groupId>net.automatalib</groupId>
<artifactId>automata-util</artifactId>
<version>0.12.1</version>
</dependency>No compatibility data collected yet for this library.
Verified import paths — ran on the pinned version, not inferred.
Copy an automaton using AutomataLib utilities
No known issues recorded.
No dependency data recorded yet.