com.github.hycos:regex2smtlib (maven): A regular expression to SMT-LIB constraint translator
Keywords: constraint-solver|constraints|regular-expression|smtlibv2|translation