Infers

A parser for dealing with Hanoi Omega-Automata (HOA) file format, which is described in more detail here. At the moment, we can only parse HOA files, support for writing them will be added later.

Changelog

• 230216 first release 0.1 version, probably buggy