MVN

org.sosy-lab : javasmt-solver-yices2

Maven & Gradle

Sep 09, 2021

171 stars

javasmt-solver-yices2 · SMT solver Yices for use in JavaSMT

Homepage Documentation Readme Maven Central

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2 --><dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-yices2</artifactId>
    <version>2.6.2-396-g194350c1</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2implementation group: 'org.sosy-lab', name: 'javasmt-solver-yices2', version: '2.6.2-396-g194350c1'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2implementation 'org.sosy-lab:javasmt-solver-yices2:2.6.2-396-g194350c1'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2implementation("org.sosy-lab:javasmt-solver-yices2:2.6.2-396-g194350c1")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2libraryDependencies += "org.sosy-lab" % "javasmt-solver-yices2" % "2.6.2-396-g194350c1"

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2 --><dependency org="org.sosy-lab" name="javasmt-solver-yices2" rev="2.6.2-396-g194350c1"/>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2@Grapes(
    @Grab(group='org.sosy-lab', module='javasmt-solver-yices2', version='2.6.2-396-g194350c1')
)

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2[org.sosy-lab/javasmt-solver-yices2 "2.6.2-396-g194350c1"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-yices2'org.sosy-lab:javasmt-solver-yices2:jar:2.6.2-396-g194350c1'

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

Latest Stable: 2.6.2-396-g194350c1

All Versions

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

Version	Vulnerabilities	Updated
2.6.x	javasmt-solver-yices2-2.6.2-396-g194350c1		Sep 08, 2021

Version

Vulnerabilities

Updated

2.6.x

javasmt-solver-yices2-2.6.2-396-g194350c1

Sep 08, 2021

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-yices2</artifactId>
    <version>2.6.2-396-g194350c1</version>
</dependency>