https://uwspace.uwaterloo.ca/items/4ea2d7f6-f90b-4669-b569-8bffdce83e45
Z3str4: A Solver for Theories over Strings
Satisfiability Modulo Theories (SMT) solvers supporting rich theories of strings have facilitated numerous industrial applications with the need to reason...
solvertheoriesstrings