org.sosy-lab : javasmt-solver-yices2

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

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

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2implementation 'org.sosy-lab:javasmt-solver-yices2:2.6.2-396-g194350c1'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2implementation("org.sosy-lab:javasmt-solver-yices2:2.6.2-396-g194350c1")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2libraryDependencies += "org.sosy-lab" % "javasmt-solver-yices2" % "2.6.2-396-g194350c1"

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

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

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2[org.sosy-lab/javasmt-solver-yices2 "2.6.2-396-g194350c1"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2'org.sosy-lab:javasmt-solver-yices2:jar:2.6.2-396-g194350c1'