Paper accepted at FMCAD'25

We are proud that our paper "OSTRICH: Solver for Complex String Constraints", has been accepted at Formal Methods in Computer-Aided Design 2025(FMCAD 2025).

@misc{hague2025ostrich2solvercomplexstring,
      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},
      eprint={2506.14363},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      url={https://arxiv.org/abs/2506.14363}, 
}