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

Noodler: big automata for complement #7

Closed vhavlena closed 1 year ago

vhavlena commented 1 year ago

Bigger automata for complement.