@misc{indiciae8a74e17d08e1,
  title = {Z3-Noodler: An Automata-based String Solver (Technical Report)},
  author = {Yu-Fang Chen and David Chocholatý and Vojtěch Havlena and Lukáš Holík and Ondřej Lengál and Juraj Síč},
  year = {2023},
  url = {https://arxiv.org/abs/2310.08327},
  note = {Source identifier: 2310.08327}
}