HOArs

处理Hanoi Omega-Automata (HOA)文件格式的解析器，更详细的描述请参见这里。目前，我们只能解析HOA文件，将来会添加写入支持。

变更日志

0.1.1 (230414)

添加了大量文档，一些辅助方法，并引入了一种将标签表达式转换为DNF的方法，这反过来又允许将它们用作自动机的符号。

0.1 (230216)

第一个版本0.1，可能非常糟糕。

lib.rs:

此crate提供了一个HOA格式的解析器。