# Infers
A parser for dealing with Hanoi Omega-Automata (HOA) file format, which is described in more detail [here](https://adl.github.io/hoaf/).
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