ltlfilt --ap=RANGE
ltlfilt
already has an --ap=N
option, but as suggested in #130 (closed) it would be nicer if N
could be a range.
ltlfilt
already has an --ap=N
option, but as suggested in #130 (closed) it would be nicer if N
could be a range.