[Spot] Return all accepting runs for emptiness checking

2 Aug 2018

      Hello,

We would like to know if the emptiness checking algorithms for Buchi 
automata can return all accepting runs, instead of a single one as the 
tool has implemented.

Thanks,
Zhen Zhang