Skip to content
An SMT Solver for strings
Branch: master
Clone or download
Pull request Compare This branch is 172 commits ahead of uuverifiers:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
project
src
tests
AUTHORS
LICENSE
README.md
build.sbt
ostrich
ostrich-client
runalltests
rundir

README.md

OSTRICH

An SMT Solver for String Constraints

OSTRICH is an SMT solver for string constraints.

For the POPL 2019 version, please use the popl2019 branch.

You can’t perform that action at this time.