jwiegley/simple-ltl

A simple compiler from LTL formulas to state machines