language-toolkit-1.0.1.0: A set of tools for analyzing languages via logic and automata