uuverifiers/ostrich

An SMT Solver for string constraints

Scala

55

1,110 commits

updated Sep 10, 2026

regular-expressions

smt-solver

strings

theorem-prover

theorem-proving

Contributors

524 commits

195 commits

170 commits

94 commits

Languages

Scala

85.9%

SMT

13.8%

uuverifiers/ostrich

An SMT Solver for string constraints

Scala

55

1,110 commits

updated Sep 10, 2026

regular-expressions

smt-solver

strings

theorem-prover

theorem-proving

Contributors

524 commits

195 commits

170 commits

94 commits

Languages

Scala

85.9%

SMT

13.8%