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