hoars
| Crates.io | hoars |
| lib.rs | hoars |
| version | 0.2.0 |
| source | src |
| created_at | 2023-02-16 13:26:26.213921 |
| updated_at | 2024-04-23 22:57:16.321708 |
| description | A library for dealing with the HOA (Hanoi Omega Automata) file format. |
| homepage | https://github.com/leonbohn/lama/ |
| repository | https://github.com/leonbohn/lama/tree/main/hoars |
| max_upload_size | |
| id | 786764 |
| size | 78,676 |
León (leonbohn)
documentation
README
HOArs
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
0.1.1 (230414)
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 (230216)
First release 0.1 version, probably buggy as hell.