Home » io.github.uuverifiers » ostrich » Versions

Ostrich

OSTRICH is an SMT solver for string constraints.
Version ▼ScalaVulnerabilitiesRepositoryUsagesDate
2.0.x
2.02.13
2.12
2.11
Central
1
Jun 30, 2025
1.4.x
1.4.12.13
2.12
2.11
Central
1
Nov 12, 2024
1.3.x
1.3.52.13
2.12
2.11
Central
0
Jan 25, 2024
1.32.13
2.12
2.11
Central
0
Jul 14, 2023
1.2.x
1.2.12.13
2.12
2.11
Central
0
Nov 04, 2022
1.22.13
2.12
2.11
Central
0
Jul 01, 2022
1.1.x
1.12.13
2.12
2.11
Central
0
Dec 21, 2021