/ostrich-deprecated

An SMT Solver for strings

Primary LanguageScalaGNU General Public License v3.0GPL-3.0

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.