A GPLv3 library for modeling automata in Java.