Skip to content

GitLab

Open
Created by Alexandre Duret-Lutz@adlOwner

improve speed of wdba-minimization

Here is a formula (reported by Étienne Renault) where WDBA-minimization takes a lot time, yet it is useless!

% f='(Fa U (Fb xor ((c xor Fd) W e))) U Gf'
% ltl2tgba -x wdba-minimize=0 "$f" --stats '%s states, %r seconds'
81 states, 0.377423 seconds
% ltl2tgba -x wdba-minimize=1 "$f" --stats '%s states, %r seconds'
81 states, 41.5798 seconds
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information