Abstract: We present a decision procedure for solving quantifier-free first-order formulas over the theory of strings, involving equality, regular constraints, and concatenation of string terms. Our ...

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.