Nothing Special   »   [go: up one dir, main page]

Skip to content

OSTRICH 1.4 SMT-COMP (fixed)

Latest
Compare
Choose a tag to compare
@pruemmer pruemmer released this 09 Jul 08:33

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