org.sosy-lab : javasmt-solver-mathsat5

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

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-mathsat5implementation group: 'org.sosy-lab', name: 'javasmt-solver-mathsat5', version: '5.6.10'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-mathsat5implementation 'org.sosy-lab:javasmt-solver-mathsat5:5.6.10'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-mathsat5implementation("org.sosy-lab:javasmt-solver-mathsat5:5.6.10")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-mathsat5libraryDependencies += "org.sosy-lab" % "javasmt-solver-mathsat5" % "5.6.10"

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

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

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-mathsat5[org.sosy-lab/javasmt-solver-mathsat5 "5.6.10"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-mathsat5'org.sosy-lab:javasmt-solver-mathsat5:jar:5.6.10'