lark
ltlf2dfa
z3-solver
