ostrich_2.11
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.2
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>ostrich_2.11</artifactId>
<version>1.2</version>
</dependency>Version Details — 1.2
Packaging
jar
Direct Deps
0
Total Deps
0
Published
Jul 1, 2022
License
BSD-3-Clause
OSTRICH is an SMT solver for string constraints.
Checking security advisories...