A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)

Yu-Fang Chen, Vojtěch Havlena, Michal Hečko +2

We introduce a novel decision procedure for solving the class of position string constraints, which includes string disequalities, not-prefixof, not-suffixof, str$.$at, and not-str…