A tool to translate regular expressions to smt-lib constraints
Why do you think that https://github.com/tfeldmann/simplematch is a good alternative to regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
Why do you think that https://github.com/tfeldmann/simplematch is a good alternative to regex-to-smtlib