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
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