randaut: add a --colored option
This should produce automata in which every transition (or every state when using state-based acceptance) belong to exactly one acceptance set.
--colored should report an error if no acceptance sets have been defined.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information