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

Ostrich » 2.0

OSTRICH is an SMT solver for string constraints.
LicenseBSD 3-clause
Tagsgithub
Organization io.github.uuverifiers
HomePage https://github.com/uuverifiers/ostrich 🔍 Inspect URL
Links
DateJun 30, 2025
Filespom (3 KB)jar (1.8 MB)View All
RepositoriesCentral
Ranking
#279449in MvnRepository
Scala TargetScala 2.13 (View all targets)

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Licenses

LicenseURL
BSD-3-Clause https://opensource.org/licenses/BSD-3-Clause

Developers

NameEmailDev IdRolesOrganization
Matthew Haguematthew.hague<at>rhul.ac.ukmatthew.hague
Philipp Ruemmerph_r<at>gmx.netp_ruemmer
Riccardo De Masellisdemasellis<at>gmail.comriccardo.de.masellis
Zhilei Hanhzl17<at>mails.tsinghua.edu.cnzhilei.han
Oliver Markgrafmarkgraf<at>cs.uni-kl.deoliver.markgraf
Denghang Huhudh<at>ios.ac.cndenghang.hu