Home » io.github.uuverifiers » ostrich » 2.11

Ostrich

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

Latest Versions

24 versions →
Version ▼ScalaVulnerabilitiesUsagesDate
2.1.x
2.12.11
0
Jul 30, 2026
2.0.x
2.02.11
1
Jun 30, 2025
1.4.x
1.4.12.11
1
Nov 12, 2024
1.3.x
1.3.52.11
0
Jan 25, 2024
1.32.11
0
Jul 14, 2023
1.2.x
1.2.12.11
0
Nov 04, 2022
1.22.11
0
Jul 01, 2022
1.1.x
1.12.11
0
Dec 15, 2021
24 versions →