simple-ltl (hackage): A simple compiler from LTL formulas to state machines
Keywords: bsd3|language|library