nl2ltl (pypi): From Natural Language to Linear-time Temporal Logic
Keywords: natural|language|nlu|ltl|temporal|logic