ostrich-ecma2020-parser_2.12
io.github.uuverifiers
OSTRICH is an SMT solver for string constraints.
Recommended: 2.0 8 versions jar Updated 1 year ago BSD-3-ClauseChecking...
Add to your project1.3
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>ostrich-ecma2020-parser_2.12</artifactId>
<version>1.3</version>
</dependency>Version Details — 1.3
Packaging
jar
Direct Deps
1
Total Deps
1
Published
Jul 14, 2023
License
BSD-3-Clause
OSTRICH is an SMT solver for string constraints.
Checking security advisories...