autfilt --complement
Ondrej Lengal would like to have a flag autcross --complement
where you do not need to provide a reference automaton (otherwise autocross is doing extra work).
Ondrej Lengal would like to have a flag autcross --complement
where you do not need to provide a reference automaton (otherwise autocross is doing extra work).