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