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
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