A parser for the HOA format that is used to describe ω-automata. Could be used standalone, but really should be used as part of the automata package(s).
Uses chumsky for parsing and complements it with some ariadne for diagnostics.
The format itself is thorougly described on this website or in the manual found in doc/hoaf.pdf.
Obtaining an overview of ω-automata helps before diving into the format itself, see for example this one given by the makers of spot.
0.3.0
Breaking: updated biodivine-lib-bdd to 0.6 (its Bdd type is part of the public API via HoaExpression). Also updated itertools to 0.15, moved to the 2024 edition, and the code now lives in its own repository again.
0.2.1
Version bump to reflect that the code of the crate has been moved (not published).
0.2.0
Fix some bugs in the extraction of a label expression for an edge or alias. This no longer defaults to 8 atomic propositions, but builds an abstract expression that is then to be further handled by the consumer downstream.
0.1.1
Added lots and lots of documentation, some helper methods and introduced a method for converting label expressions to DNF, which in turn allows to use them as symbols for an automaton.
0.1.0
First release 0.1 version, probably buggy as hell.