Home » io.github.uuverifiers » ostrich » 2.12

Ostrich

OSTRICH is an SMT solver for string constraints.
LicenseBSD 3-clause
Tagsgithub
Ranking
#171499in MvnRepository
HomePage https://github.com/uuverifiers/ostrich 🔍 Inspect URL
Links
Scala TargetScala 2.12 (View all targets)

Latest Versions

24 versions →
Version ▼ScalaVulnerabilitiesUsagesDate
2.1.x
2.12.12
0
Jul 30, 2026
2.0.x
2.02.12
1
Jun 30, 2025
1.4.x
1.4.12.12
1
Nov 12, 2024
1.3.x
1.3.52.12
0
Jan 25, 2024
1.32.12
0
Jul 14, 2023
1.2.x
1.2.12.12
0
Nov 04, 2022
1.22.12
0
Jul 01, 2022
1.1.x
1.12.12
0
Dec 15, 2021
24 versions →