Skip to content

Random {N,D}FA automata generator, ExtendedNFA fix

Jan Trávníček requested to merge AAG-generator into master

Merge the new random automata generator and fix of ExtendedNFA

Merge request reports