Skip to content

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.