We are proud that Ostrich, an SMT solver for string constraints co-developed at TIS is the winner of the Quantifier-free Strings, single query track, of SMT-COMP’23.