OSTRICH 2.0.1

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.

OSTRICH 1.4 SMT-COMP (fixed)

The version of Ostrich submitted to SMT-COMP 2024. In the competition, the options

+quiet -portfolio=strings

were used.

This version contains soundness fixes compared to the version published on Zenodo, https://zenodo.org/records/11919002

OSTRICH version 1.3

This is the version of OSTRICH that competed at SMT-COMP 2023.
Compared to 1.2, there is now also a solver back-end based on cost-enriched automata, which can be enabled with the option +cea.

OSTRICH version 1.2

Version 1.2 of OSTRICH includes a module for solving general word equations (not restricted to the straightline fragment), as well as more complete support for the different SMT-LIB string operations.

OSTRICH version 1.1

This release includes a lot of work that has happened since 1.0.1, including a built-in parser for ECMAScript regular expressions, and techniques for handling regular expressions with capture groups. The release also includes many optimizations and bugfixes.

v1.0.1

This is a release with most bug-fixes. We also worked on the support for the new SMT-LIB string theory, and added several functions that were missing previously.