uuverifiers / ostrich 1.4.1

GitHub

An SMT Solver for string constraints

theorem-proving
smt-solver
regular-expressions
theorem-prover
strings

Scala versions: 2.13 2.12 2.11

Latest version

[![ostrich Scala version support](https://index.scala-lang.org/uuverifiers/ostrich/ostrich/latest.svg)](https://index.scala-lang.org/uuverifiers/ostrich/ostrich)

JVM badge

[![ostrich Scala version support](https://index.scala-lang.org/uuverifiers/ostrich/ostrich/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/uuverifiers/ostrich/ostrich)