sbacc on alternating automata
sbacc currently only work on existential automata. It would be nice to have it work on alternating automata as well.
sbacc currently only work on existential automata. It would be nice to have it work on alternating automata as well.