random acceptance condition
randaut
should be able to generate random acceptance conditions, not just generalized Büchi
Maybe we could have
--acc=random
-
--acc=buchi
(default) --acc=rabin
- ...
combined with -A
/--acc-sets
to specify the number of sets.