org.sosy-lab:javasmt-solver-z3 4.8.9-sosy1

SMT solver Z3 for use in JavaSMT

Categories	ASM Application Layer Libs Bytecode Manipulation
GroupId	org.sosy-lab
ArtifactId	javasmt-solver-z3
Version	4.8.9-sosy1
Type	jar

Download javasmt-solver-z3 4.8.9-sosy1

Filename	Size
javasmt-solver-z3-4.8.9-sosy1.pom
javasmt-solver-z3-4.8.9-sosy1.jar	168 KB
javasmt-solver-z3-4.8.9-sosy1-sources.jar	921 KB
javasmt-solver-z3-4.8.9-sosy1-libz3java.so	270 KB
javasmt-solver-z3-4.8.9-sosy1-libz3java.dylib	163 KB
javasmt-solver-z3-4.8.9-sosy1-libz3java.dll	107 KB
javasmt-solver-z3-4.8.9-sosy1-libz3.so	25 MB
javasmt-solver-z3-4.8.9-sosy1-libz3.dylib	22 MB
javasmt-solver-z3-4.8.9-sosy1-libz3.dll	15 MB
javasmt-solver-z3-4.8.9-sosy1-javadoc.jar	118 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/ -->
<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-z3</artifactId>
    <version>4.8.9-sosy1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/
implementation 'org.sosy-lab:javasmt-solver-z3:4.8.9-sosy1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/
implementation ("org.sosy-lab:javasmt-solver-z3:4.8.9-sosy1")

Apache Buildr

'org.sosy-lab:javasmt-solver-z3:jar:4.8.9-sosy1'

Apache Ivy

<dependency org="org.sosy-lab" name="javasmt-solver-z3" rev="4.8.9-sosy1">
  <artifact name="javasmt-solver-z3" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.sosy-lab', module='javasmt-solver-z3', version='4.8.9-sosy1')
)

Scala SBT

libraryDependencies += "org.sosy-lab" % "javasmt-solver-z3" % "4.8.9-sosy1"

Leiningen

[org.sosy-lab/javasmt-solver-z3 "4.8.9-sosy1"]