-B should also imply -S for --sat-minimize
This is not good, -B
should always imply -S
.
% ltl2tgba -G -D -f 'GF(a <-> XXb)' | autfilt -B --sat-minimize --stats=%s
8
% ltl2tgba -G -D -f 'GF(a <-> XXb)' | autfilt -B -S --sat-minimize --stats=%s
6
This is not good, -B
should always imply -S
.
% ltl2tgba -G -D -f 'GF(a <-> XXb)' | autfilt -B --sat-minimize --stats=%s
8
% ltl2tgba -G -D -f 'GF(a <-> XXb)' | autfilt -B -S --sat-minimize --stats=%s
6