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

Ostrich » 2.1

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

Version Details

2.0 2.1
Release dateJun 30, 2025Jul 30, 2026
LicensesBSD 3-clauseBSD 3-clause
VulnerabilitiesNoneNone

Compile Changes (4)

2.0 2.1
ChangeGroup / ArtifactPreviousCurrent
+ Added org.scalameta » svm-subs-101.0.0
~ Updated io.github.uuverifiers » ostrich-ecma2020-parser_2.132.02.1
~ Updated io.github.uuverifiers » princess_2.132025-06-252026-05-20
~ Updated org.scala-lang » scala-library2.13.152.13.18