OSTRICH is an SMT solver for string constraints.

LicenseBSD 3-clause
Tagsgithubparser
HomePage https://github.com/uuverifiers/ostrich
Ranking#308086 in MvnRepository (See Top Artifacts)
Used By1 artifacts

VersionScalaVulnerabilitiesRepositoryUsagesDate
1.4.x
1.4.12.13
2.12
2.11
CentralNov 12, 2024
1.3.x
1.3.52.13
2.12
2.11
CentralJan 25, 2024
1.32.13
2.12
2.11
CentralJul 14, 2023
1.2.x
1.2.12.13
2.12
2.11
CentralNov 04, 2022
1.22.13
2.12
2.11
CentralJul 01, 2022
1.1.x
1.12.13
2.12
2.11
CentralDec 21, 2021