Dear Madam, dear Sir,

I am just starting using spot (with python) for a university project (ULB, Brussels) and my team mates and I have spent quite some time just figuring out how to use accepting states in a Buchi automaton.

We found it inconvenient and more importantly very difficult to find in the documentation (it was located in the far end of the doc...) to use `automaton.prop_state_acc(True)` in order to set states accepting instead of edges.

It could be interesting to specify how to do this in a clear way, why not in the code examples? A good place for this would be this page for instance.

Yours sincerely,

    Yannick Molinghen