The Hanoi Omega-Automata Format (HOAF) provides a flexible and robust mechanism for exchanging ω-automata between different tools. With the cpphoafparser library, we provide (1) a C++-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.
cpphoafparser is free software and released under the terms of the GNU Lesser General Public License, version 2.1.
The current (preliminary) version is version 0.99.2 (2016-02-26), 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, unpack the archive, build the tool using make, execute
./cpphoaf
and follow the instructions.
You can find additional documentation here.
(c) 2015-2016 Joachim Klein <klein@tcs.inf.tu-dresden.de>, David Müller <david.mueller@tcs.inf.tu-dresden.de>