Hanoi Omega Automata Format (HOAF)

Parser Libraries

• jhoafparser: Java-based parser library for the HOA format
• cpphoafparser: C++-based parser library for the HOA format

Additional Tools

• Canonical Acceptance: Web-based playground for the canonical acceptance conditions in the HOA format

External Links

• HOA format specification
• Current list of tool support for the HOA format
• The Spot library and tools, can be used to generate and manipulate HOA automata