This is a translator from extended-HOA specifications to parity games played on graphs (not on automata!).

Important notice

Currently only state-based acceptance is allowed. For parity automata, that means that states are coloured instead of transitions. As a further restriction, the translator implictly assumes the acceptance condition to be max even.

Dependencies

• cpphoafparser (the required sources are included here)
• CUDD 2.5.1 (a compressed copy is enclosed)

Licensing

• hoa2pg and cpphoafparser are released under GNU LGPL, version 2.1
• CUDD is released under BSD 3-Clause "New" or "Revised" License