org.sosy-lab:javasmt-solver-z3 z3-4.4.1-863-g96f6bf7-2

<!-- https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/ -->
<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-z3</artifactId>
    <version>z3-4.4.1-863-g96f6bf7-2</version>
    <type>pom</type>
</dependency>

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/
implementation 'org.sosy-lab:javasmt-solver-z3:z3-4.4.1-863-g96f6bf7-2'

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/
implementation ("org.sosy-lab:javasmt-solver-z3:z3-4.4.1-863-g96f6bf7-2")

'org.sosy-lab:javasmt-solver-z3:pom:z3-4.4.1-863-g96f6bf7-2'

<dependency org="org.sosy-lab" name="javasmt-solver-z3" rev="z3-4.4.1-863-g96f6bf7-2">
  <artifact name="javasmt-solver-z3" type="pom" />
</dependency>

@Grapes(
@Grab(group='org.sosy-lab', module='javasmt-solver-z3', version='z3-4.4.1-863-g96f6bf7-2')
)

libraryDependencies += "org.sosy-lab" % "javasmt-solver-z3" % "z3-4.4.1-863-g96f6bf7-2"

[org.sosy-lab/javasmt-solver-z3 "z3-4.4.1-863-g96f6bf7-2"]