A tool to translate regular expressions to smt-lib constraints
Repository from Github https://github.comsgomber/regex-to-smtlibRepository from Github https://github.comsgomber/regex-to-smtlib