org.sosy-lab : javasmt-yices2

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2 --><dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-yices2</artifactId>
    <version>4.0.1</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2implementation group: 'org.sosy-lab', name: 'javasmt-yices2', version: '4.0.1'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2implementation 'org.sosy-lab:javasmt-yices2:4.0.1'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2implementation("org.sosy-lab:javasmt-yices2:4.0.1")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2libraryDependencies += "org.sosy-lab" % "javasmt-yices2" % "4.0.1"

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2 --><dependency org="org.sosy-lab" name="javasmt-yices2" rev="4.0.1"/>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2@Grapes(
    @Grab(group='org.sosy-lab', module='javasmt-yices2', version='4.0.1')
)

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2[org.sosy-lab/javasmt-yices2 "4.0.1"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-yices2'org.sosy-lab:javasmt-yices2:jar:4.0.1'