The jhoafparser Library for the Hanoi Omega-Automata Format

Overview

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.

Download

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.

Quick Start...

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.

Documentation

You can find additional documentation here.

Additional links


(c) 2014-2015 Joachim Klein <klein@tcs.inf.tu-dresden.de>, David Müller <david.mueller@tcs.inf.tu-dresden.de>