This is version 2.0.1 of OSTRICH. The version mostly coincides with the version from SMT-COMP 2025, modulo a couple of bugfixes that were done after the competition. Compared to OSTRICH 1, the theory solver for strings has been almost completely reimplemented and should be significantly faster and more stable.