MVN

org.sosy-lab : javasmt-solver-opensmt

Maven & Gradle

Nov 10, 2023

171 stars

javasmt-solver-opensmt · SMT solver OpenSMT for use in JavaSMT

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

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-opensmtimplementation group: 'org.sosy-lab', name: 'javasmt-solver-opensmt', version: '2.5.2-g7f502169'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-opensmtimplementation 'org.sosy-lab:javasmt-solver-opensmt:2.5.2-g7f502169'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-opensmtimplementation("org.sosy-lab:javasmt-solver-opensmt:2.5.2-g7f502169")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-opensmtlibraryDependencies += "org.sosy-lab" % "javasmt-solver-opensmt" % "2.5.2-g7f502169"

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

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

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-opensmt[org.sosy-lab/javasmt-solver-opensmt "2.5.2-g7f502169"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-opensmt'org.sosy-lab:javasmt-solver-opensmt:jar:2.5.2-g7f502169'

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-opensmt to add to Maven - Latest Versions:

Latest Stable: 2.5.2-g7f502169

All Versions

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

Version	Vulnerabilities	Updated
2.5.x	javasmt-solver-opensmt-2.5.2-g7f502169		Nov 10, 2023

Version

Vulnerabilities

Updated

2.5.x

javasmt-solver-opensmt-2.5.2-g7f502169

Nov 10, 2023

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-opensmt</artifactId>
    <version>2.5.2-g7f502169</version>
</dependency>