This repository is deprecated
This is a deprecated fork of (a deprecated fork of) Ostrich, a solver for string constraints. The relevant changes are being merged into the current Ostrich. Please use that.
An SMT Solver for strings
This is a deprecated fork of (a deprecated fork of) Ostrich, a solver for string constraints. The relevant changes are being merged into the current Ostrich. Please use that.
An SMT Solver for strings
GNU General Public License v3.0