The cpphoafparser 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 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.

Download

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.

Quick Start...

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

  ./cpphoaf

and follow the instructions.

Documentation

You can find additional documentation here.

Additional links


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