String Automaton Generator Library