ltlcross: better complementation of DRA and DSA
(Suggested by Joachim Klein.)
When ltlcross reads a DSA, or a DRA that cannot be converted to deterministic BA, it could still generate a complement automaton by just using the opposite acceptance.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information