py_ltl_parser
