Z3 z3-4.4.1-788-g8df145d

Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.

License	MIT License
Categories	ASM Application Layer Libs Bytecode Manipulation Native Development Tools
GroupId	org.sosy-lab
ArtifactId	javasmt-solver-z3-native
Version	z3-4.4.1-788-g8df145d
Type	pom
Description	Z3 Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.
Project URL	https://github.com/Z3Prover/z3
Project Organization	Z3 Theorem Prover
Source Code Management	https://github.com/Z3Prover/z3/

Download javasmt-solver-z3-native z3-4.4.1-788-g8df145d

Filename	Size
javasmt-solver-z3-native-z3-4.4.1-788-g8df145d.pom
javasmt-solver-z3-native-z3-4.4.1-788-g8df145d.so	4 KB

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3-native/
implementation 'org.sosy-lab:javasmt-solver-z3-native:z3-4.4.1-788-g8df145d'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3-native/
implementation ("org.sosy-lab:javasmt-solver-z3-native:z3-4.4.1-788-g8df145d")

Apache Buildr

'org.sosy-lab:javasmt-solver-z3-native:pom:z3-4.4.1-788-g8df145d'

Apache Ivy

<dependency org="org.sosy-lab" name="javasmt-solver-z3-native" rev="z3-4.4.1-788-g8df145d">
  <artifact name="javasmt-solver-z3-native" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.sosy-lab', module='javasmt-solver-z3-native', version='z3-4.4.1-788-g8df145d')
)

Scala SBT

libraryDependencies += "org.sosy-lab" % "javasmt-solver-z3-native" % "z3-4.4.1-788-g8df145d"

Leiningen

[org.sosy-lab/javasmt-solver-z3-native "z3-4.4.1-788-g8df145d"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.