Hi all,
I am a masters student of computer science at University of Bremen,
Germany. I am working with Büchi-Automata for a study at the moment.
Therefore I want to parse an HOA file representing a Büchi-Automaton
using Python. It would be great to get an object in Python representing
the automaton. So that I can iterate over the states and their edges,
read the labels, etc.
Can this be done using Spot? If so, how? It would be nice to have a code
example.
Thank you so much for your help!
Best regards from Germany,
Marcel Walter