uuverifiers / ostrich 1.3.5
GitHubAn SMT Solver for string constraints
ostrich 1.1
Group ID:
io.github.uuverifiers
Artifact ID:
ostrich_2.12
Version:
1.1
Release Date:
Dec 15, 2021
Licenses:
Files:
libraryDependencies += "io.github.uuverifiers" %% "ostrich" % "1.1"
ivy"io.github.uuverifiers::ostrich:1.1"
//> using dep "io.github.uuverifiers::ostrich:1.1"
import $ivy.`io.github.uuverifiers::ostrich:1.1`
<dependency> <groupId>io.github.uuverifiers</groupId> <artifactId>ostrich_2.12</artifactId> <version>1.1</version> </dependency>
compile group: 'io.github.uuverifiers', name: 'ostrich_2.12', version: '1.1'