The Hanoi Omega-Automata Format (HOAF) provides a flexible and robust mechanism for exchanging ω-automata between different tools. With the jhoafparser library, we provide (1) a Java-based parser library for parsing HOA files that can be used by applications and tools that want to read HOA files and (2) a command-line tool for performing basic automata operations.
jhoafparser is free software and released under the terms of the GNU Lesser General Public License, version 2.1.
The current version is version 1.1.1 (2015-07-20), and can be obtained here:
Example automata are available at http://adl.github.io/hoaf/examples.html. Older versions of the library are archived here.
To try out the command-line tool, execute
java -jar jhoafparser-1.1.1.jar
and follow the instructions.
To have a look at the sources, unzip the ZIP archive.
You can find additional documentation here.
(c) 2014-2015 Joachim Klein <firstname.lastname@example.org>, David Müller <email@example.com>