LTL simplification: GFp0 U Gp0 should be FGp0
% ltlfilt --simplify -f 'GFp0 U Gp0'
GFp0 U Gp0
We should have GFa U b
rewritten as F b
whenever b
implies GFa
.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information