Collected list of benchmarks for evaluating different approaches to reasoning about regular properties.
automata
non-deterministic-finite-automaton
deterministic-finite-automata
alternating-finite-automata
-
Updated
Oct 26, 2023 - Shell