All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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-ecma2020-parser_2.12 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-ECMA2020-parser
Specification-Version: 1.4.1

© 2015 - 2024 Weber Informatics LLC | Privacy Policy