Home » io.github.uuverifiers » ostrich

Ostrich

OSTRICH is an SMT solver for string constraints.
LicenseBSD 3-clause
Tagsgithub
Ranking
#278999in MvnRepository
HomePage https://github.com/uuverifiers/ostrich 🔍 Inspect URL
Links

Latest Versions

21 versions →
VersionScalaVulnerabilitiesUsagesDate
2.0.x
2.02.13
2.12
2.11
1
Jun 30, 2025
1.4.x
1.4.12.13
2.12
2.11
1
Nov 12, 2024
1.3.x
1.3.52.13
2.12
2.11
0
Jan 25, 2024
1.32.13
2.12
2.11
0
Jul 14, 2023
1.2.x
1.2.12.13
2.12
2.11
0
Nov 04, 2022
1.22.13
2.12
2.11
0
Jul 01, 2022
1.1.x
1.12.13
2.12
2.11
0
Dec 21, 2021
21 versions →