support for exclusive APs in ltl2tgba
It would be nice to have an option to support exclusive APs in ltl2tgba. Currently it requires chaining three commands as in
http://lists.lrde.epita.fr/pipermail/spot/2020q3/000293.html
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information