issues
search
VeriFIT
/
nfa-bench
Collected list of benchmarks for evaluating automata supporting non-deterministic finite automata in .mata format
0
stars
1
forks
source link
Merge transitions
#9
Closed
tfiedor
closed
1 year ago