/automata-benchmarks

Automata benchmarks that we use to evaluate our automata library

automata-benchmarks

Automata benchmarks that we use to evaluate our automata library