Skip to content

add Python binding for spot::is_unambiguous()

Fanda wanted to use it.

Probably wait do #116 (closed) first, so that we can map this as a method of automata as well.