META-INF.MANIFEST.MF Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of ostrich_2.11 Show documentation
Show all versions of ostrich_2.11 Show documentation
OSTRICH is an SMT solver for string constraints.
The newest version!
Manifest-Version: 1.0
Specification-Vendor: io.github.uuverifiers
Specification-Title: ostrich
Specification-Version: 1.4.1