Skip to content

OSTRICH version 1.3
Compare
Choose a tag to compare
@pruemmer pruemmer released this 14 Jul 14:34
· 105 commits to master since this release
v1.3
e9ef4f3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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.

Assets 3
Loading