autfilt should have an option
--ap=N that works like the one of
ltlfilt: it selects the automata that use
N atomic propositions.
It would be nice if
N could be a range.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information