MVN

org.sosy-lab : javasmt-solver-z3-native

Maven & Gradle

Mar 06, 2016

1 usages

10.3k stars

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

Homepage Readme Maven Central

<!-- https://mavenlibs.com/maven/pom/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>
</dependency>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-nativeimplementation group: 'org.sosy-lab', name: 'javasmt-solver-z3-native', version: 'z3-4.4.1-788-g8df145d'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-nativeimplementation 'org.sosy-lab:javasmt-solver-z3-native:z3-4.4.1-788-g8df145d'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-nativeimplementation("org.sosy-lab:javasmt-solver-z3-native:z3-4.4.1-788-g8df145d")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-nativelibraryDependencies += "org.sosy-lab" % "javasmt-solver-z3-native" % "z3-4.4.1-788-g8df145d"

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-native --><dependency org="org.sosy-lab" name="javasmt-solver-z3-native" rev="z3-4.4.1-788-g8df145d"/>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-native@Grapes(
    @Grab(group='org.sosy-lab', module='javasmt-solver-z3-native', version='z3-4.4.1-788-g8df145d')
)

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-native[org.sosy-lab/javasmt-solver-z3-native "z3-4.4.1-788-g8df145d"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-z3-native'org.sosy-lab:javasmt-solver-z3-native:jar:z3-4.4.1-788-g8df145d'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a POM dependency to Maven

Latest Version

Choose a version of org.sosy-lab : javasmt-solver-z3-native to add to Maven - Latest Versions:

Latest Stable: z3-4.4.1-788-g8df145d

All Versions

Choose a version of org.sosy-lab : javasmt-solver-z3-native to add to Maven - All Versions:

Version	Vulnerabilities	Updated
z3	javasmt-solver-z3-native-z3-4.4.1-788-g8df145d		Mar 06, 2016

Version

Vulnerabilities

Updated

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

Mar 06, 2016

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-z3-native</artifactId>
    <version>z3-4.4.1-788-g8df145d</version>
</dependency>