Home » io.github.uuverifiers » ostrich_2.13 » 2.0 » Changes

Ostrich » 2.0

OSTRICH is an SMT solver for string constraints.
Version2.0compared with

Version Details

1.4.1 2.0
Release dateNov 12, 2024Jun 30, 2025
LicensesBSD 3-clauseBSD 3-clause
VulnerabilitiesNoneNone

Compile Changes (2)

1.4.1 2.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated io.github.uuverifiers » ostrich-ecma2020-parser_2.131.4.12.0
~ Updated io.github.uuverifiers » princess_2.132024-11-082025-06-25