implement reduction from LTLf to LTL
See the function called t in https://www.cs.rice.edu/~vardi/papers/ijcai13.pdf, also used in http://www.cs.rice.edu/~vardi/papers/memocode14a.pdf
That's probably a new feature for ltlfilt
.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information