Redirecting you to https://github.com/hycos/regex2smtlib