hoars (cargo): A library for dealing with the HOA (Hanoi Omega Automata) file format.
Keywords: automata|omega-automata|hoa