The cpphoafparser Library for the Hanoi Omega-Automata Format


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 Older versions of the library are archived here.

Quick Start...

To try out the command-line tool, unpack the archive, build the tool using make, execute


and follow the instructions.


You can find additional documentation here.

Additional links

(c) 2015-2016 Joachim Klein <>, David Müller <>