random acceptance condition
randaut should be able to generate random acceptance conditions, not just generalized Büchi
Maybe we could have
--acc-sets to specify the number of sets.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information