<div dir="ltr">Hello,<div><br></div><div>I am using SPOT to work with Buchi Automaton. Does <span style="font-size:small;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">SPOT</span> supports findingĀ  all the accepting runs instead of only one?</div><div><br></div><div>Sincerely,</div><div>Thakur Neupane</div></div>