@misc{indiciae9bdca8929e0c,
  title = {OSTRICH2: Solver for Complex String Constraints},
  author = {Matthew Hague and Denghang Hu and Artur Jeż and Anthony W. Lin and Oliver Markgraf and Philipp Rümmer and Zhilin Wu},
  year = {2025},
  url = {https://arxiv.org/abs/2506.14363},
  note = {Source identifier: 2506.14363}
}