I am using SPOT to work with Buchi Automaton. Does SPOT supports finding  all the accepting runs instead of only one?

Sincerely,

Thakur Neupane