Skip to content

GitLab

Closed
Created by Alexandre Duret-Lutz@adlOwner

missing LTL simplification

ltl2tgba 'GF(a && GF(b))' has two states, while the equivalent ltl2tgba 'G(Fa && Fb)' has only one.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information