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