ostrich-ecma2020-parser_2.13
io.github.uuverifiers
OSTRICH is an SMT solver for string constraints.
Recommended: 2.1 8 versions jar Updated 1 year ago BSD-3-ClauseChecking...
Add to your project1.3.5
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>ostrich-ecma2020-parser_2.13</artifactId>
<version>1.3.5</version>
</dependency>Version Details — 1.3.5
Packaging
jar
Direct Deps
0
Total Deps
0
Published
Jan 25, 2024
License
BSD-3-Clause
OSTRICH is an SMT solver for string constraints.
Checking security advisories...