improve remove-x
implement Tian&Duan "A note on stutter-invariant PLTL" so that ltlfilt --remove-x gives smaller formulas than it currently does
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information
implement Tian&Duan "A note on stutter-invariant PLTL" so that ltlfilt --remove-x gives smaller formulas than it currently does