20 Jun 2023
Ostrich wins at SMT-COMP’23
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.
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.
