Z3-Noodler: An Automata-based String Solver.

Yu-Fang Chen, David Chocholat, Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc

Browse the full TACAS paper archive.