R
egex_
E
quivalence
Automaton
Derivatives_Finite
Deriv_PDeriv
Deriv_Autos
Position_Autos
After2
Before2
Regex_Equivalence
Examples
Benchmark